From 9eb860f18fcb2655c0e5c171b4faface661ed804 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Mon, 5 Oct 2015 11:13:08 +0200
Subject: [PATCH] add some comments

---
 hermit/kernel/syscall.c | 1 +
 1 file changed, 1 insertion(+)

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)