diff --git a/repos/ports/lib/symbols/libc_noux b/repos/ports/lib/symbols/libc_noux
new file mode 100644
index 000000000..592169f10
--- /dev/null
+++ b/repos/ports/lib/symbols/libc_noux
@@ -0,0 +1,48 @@
+_Z14init_libc_nouxv T
+_Z15noux_connectionv T
+_Z4nouxv T
+_Z5sysiov T
+_ZN4Libc10vfs_configEv T
+_ZN4Libc6configEv T
+__bss_start R
+__eh_frame_start__ R
+__exidx_end D 0
+__exidx_start D 0
+__l4sys_invoke_indirect D 0
+_ctors_end D 0
+_ctors_start D 0
+_edata R
+_end B 0
+_init T
+_parent_cap D 0
+_parent_cap_local_name D 0
+_parent_cap_thread_id D 0
+_sigaction T
+_sigprocmask T
+_wait4 T
+chmod T
+clock_gettime T
+endpwent T
+fork T
+fork_trampoline T
+getdtablesize T
+getegid T
+geteuid T
+getgid T
+getpid T
+getppid T
+getpwuid T
+getrlimit T
+getrusage T
+gettimeofday T
+getuid T
+kill T
+nanosleep T
+sbrk T
+select T
+sigaction T
+sigprocmask T
+sleep T
+sync T
+utimes T
+vfork T