Use uintptr_t, not intptr_t, for memory addresses!
tree1b20833bac40809f5fdb314e9895ba999512024e
-rw-r--r-- 47 .gitignore
-rw-r--r-- 402 SConscript
-rw-r--r-- 2323 SConstruct
drwxr-xr-x - init
drwxr-xr-x - kernel
drwxr-xr-x - libc