Adds sys_getcpuid and sys_cache_invalidate
-rw-r--r-- 108 .gitignore
-rw-r--r-- 1115 CODING
-rw-r--r-- 3246 GNUmakefile
drwxr-xr-x - include
drwxr-xr-x - kern
drwxr-xr-x - scripts
drwxr-xr-x - user