directory /include/ @ 0:ed10291ff195

name size permissions
[up] drwxr-xr-x
file arm.h 1478 -rwxr-xr-x
file buf.h 340 -rwxr-xr-x
file defs.h 6688 -rwxr-xr-x
file elf.h 755 -rwxr-xr-x
file fcntl.h 96 -rwxr-xr-x
file file.h 767 -rwxr-xr-x
file fs.h 1516 -rwxr-xr-x
file fvp.h 1966 -rwxr-xr-x
file mailbox.h 1083 -rwxr-xr-x
file memlayout.h 905 -rwxr-xr-x
file mmu.h 2552 -rwxr-xr-x
file param.h 614 -rwxr-xr-x
file proc.h 3203 -rwxr-xr-x
file spinlock.h 315 -rwxr-xr-x
file stat.h 294 -rwxr-xr-x
file syscall.h 485 -rwxr-xr-x
file traps.h 622 -rwxr-xr-x
file types.h 1264 -rwxr-xr-x
file user.h 828 -rwxr-xr-x