directory /kernel/ @ 302:2ef2247f8dda

name size permissions
[up] drwxr-xr-x
file arch_arm.c3 66 -rw-r--r--
file interrupt.c3 46 -rw-r--r--
file kernel.c3 303 -rw-r--r--
file make.py 340 -rwxr-xr-x
file memory.c3 131 -rw-r--r--
file process.c3 677 -rw-r--r--
file schedule.c3 200 -rw-r--r--
file syscall.c3 1113 -rw-r--r--