couple of bits on the x86_64 boot code
[newos.git] / boot / pc / 
tree16f7bf02e5496b6a3097932de49b34a30cf50720
drwxr-xr-x   ..
drwxr-xr-x - i386
-rw-r--r-- 68 makefile
drwxr-xr-x - x86_64