Add getpid syscall
Move user space out of kernel.c
Extract scheduler