Changes ARCH i686 -> x86 (XCC)
[akaros.git] / kern / arch / x86 / ros /
drwxr-xr-x   ..
-rw-r--r-- 87 arch.h
drwxr-xr-x - bits
-rw-r--r-- 800 membar.h
-rw-r--r-- 15010 mmu.h
-rw-r--r-- 357 syscall.h
-rw-r--r-- 3593 trapframe.h