more x86_64 work. started to put the mmu bits together in the (former) stage2 loader.
[newos.git] / include / boot / shared / 
tree4c6877d398a9d99cd20e6da0eb84d4a5e99cb27c
drwxr-xr-x   ..
-rwxr-xr-x 2073 openfirmware.h