Userspace no longer includes the kernel's arch/*
[akaros.git] / kern / arch / i686 / ros /
drwxr-xr-x   ..
-rw-r--r-- 87 arch.h
drwxr-xr-x - bits
-rw-r--r-- 846 hart.h
-rw-r--r-- 304 membar.h
-rw-r--r-- 4622 mmu.h
-rw-r--r-- 958 syscall.h
-rw-r--r-- 1327 trapframe.h