directory /kernel/ @ 294:e89cca5779b0

name size permissions
[up] drwxr-xr-x
file interrupt.c3 46 -rw-r--r--
file kernel.c3 297 -rw-r--r--
file make.py 296 -rwxr-xr-x
file memory.c3 125 -rw-r--r--
file process.c3 652 -rw-r--r--
file schedule.c3 134 -rw-r--r--
file syscall.c3 1089 -rw-r--r--