Move system calls to the SDK and normalize their names
-rw-r--r-- 172 .gitignore
-rw-r--r-- 34520 COPYING
-rw-r--r-- 590 Makefile
-rw-r--r-- 2485 README.md
-rw-r--r-- 87 grub.cfg
drwxr-xr-x - kernel
drwxr-xr-x - library
drwxr-xr-x - manager
drwxr-xr-x - sdk
drwxr-xr-x - tests