diff --git a/hermit/kernel/syscall.c b/hermit/kernel/syscall.c
index d02e37689..2ea15103e 100644
--- a/hermit/kernel/syscall.c
+++ b/hermit/kernel/syscall.c
@@ -38,6 +38,7 @@
 #include <lwip/err.h>
 #include <lwip/stats.h>
 
+//TODO: don't use one big kernel lock to comminicate with all proxies
 static spinlock_t lwip_lock = SPINLOCK_INIT;
 
 static tid_t sys_getpid(void)