/kernel/eka/include/kernel/x86/ GCC_SURGE tip
drwxr-xr-x [up]
-rw-r--r-- 2010-11-25 14:35 +0000 6029 assp.h
-rw-r--r-- 2010-11-25 14:35 +0000 10573 bootcpu.inc
-rw-r--r-- 2010-11-25 14:35 +0000 5600 bootdefs.h
-rw-r--r-- 2010-11-25 14:35 +0000 5930 bootmacr.inc
-rw-r--r-- 2010-11-25 14:35 +0000 8682 x86.h
-rw-r--r-- 2010-11-25 14:35 +0000 11249 x86boot.h