Fixed up a few small bugs in the syscall_server stuff
-rw-r--r-- 339 .gitignore
-rw-r--r-- 1115 CODING
-rw-r--r-- 4407 GNUmakefile
drwxr-xr-x - doc
drwxr-xr-x - gccinclude
drwxr-xr-x - kern
drwxr-xr-x - scripts
drwxr-xr-x - tools
drwxr-xr-x - user