diff --git a/repos/pc/lib/symbols/wifi b/repos/pc/lib/symbols/wifi
new file mode 100644
index 0000000000..f543c69efd
--- /dev/null
+++ b/repos/pc/lib/symbols/wifi
@@ -0,0 +1,21 @@
+_Z15wifi_get_rfkillv T
+_Z16_wifi_get_rfkillv T
+_Z16_wifi_set_rfkillb T
+_Z20wifi_kick_socketcallv T
+_Z20wifi_set_rfkill_sighN6Genode10CapabilityINS_14Signal_contextEEE T
+_Z9wifi_initRN6Genode3EnvERNS_8BlockadeE T
+_ZN4Wifi11Socket_call10setsockoptEPNS_6SocketENS_13Sockopt_levelENS_12Sockopt_nameEPKvj T
+_ZN4Wifi11Socket_call11getsocknameEPNS_6SocketEPNS_8SockaddrEPj T
+_ZN4Wifi11Socket_call15get_mac_addressEPh T
+_ZN4Wifi11Socket_call4bindEPNS_6SocketEPKNS_8SockaddrEj T
+_ZN4Wifi11Socket_call5closeEPNS_6SocketE T
+_ZN4Wifi11Socket_call6socketEiii T
+_ZN4Wifi11Socket_call7recvmsgEPNS_6SocketEPNS_6MsghdrENS_5FlagsE T
+_ZN4Wifi11Socket_call7sendmsgEPNS_6SocketEPKNS_6MsghdrENS_5FlagsE T
+_ZN4Wifi11Socket_call8poll_allEPNS_14Poll_socket_fdEji T
+_ZN4Wifi11Socket_call9non_blockEPNS_6SocketEb T
+_ZN6Lx_kit10initializeERN6Genode3EnvE T
+jiffies_64 D 0
+socket_call B 1
+wifi_ifindex T
+wifi_ifname T
diff --git a/repos/pc/recipes/src/pc_wifi_drv/content.mk b/repos/pc/recipes/src/pc_wifi_drv/content.mk
index 4223ca7d31..08b679597b 100644
--- a/repos/pc/recipes/src/pc_wifi_drv/content.mk
+++ b/repos/pc/recipes/src/pc_wifi_drv/content.mk
@@ -9,6 +9,7 @@ MIRROR_FROM_REP_DIR := src/drivers/wifi/pc \
                        src/lib/pc/lx_emul \
                        src/include \
                        $(LIB_MK) \
+                       lib/symbols/wifi \
                        $(shell cd $(REP_DIR); find src/drivers/wifi -type f) \
                        $(shell cd $(REP_DIR); find src/lib/wifi -type f) \
                        $(shell cd $(REP_DIR); find src/lib/vfs/wifi -type f)