a bit done for k2

include/kernel.h

include/nameserver.h

include/request.h

include/rps.h

include/syscall-handler.h

include/syscall.h

include/timer.h

include/tools.h

include/types.h

lib/nameserver.c

lib/rps.c

lib/syscall-handler.c

lib/syscall.c

lib/timer.c

lib/tools.c

src/context-switch.c

src/scheduler.c