directory /kernel/ @ 298:f7c3d38d0a47

name size permissions
[up] drwxr-xr-x
file interrupt.c3 46 -rw-r--r--
file kernel.c3 301 -rw-r--r--
file make.py 325 -rwxr-xr-x
file memory.c3 120 -rw-r--r--
file process.c3 645 -rw-r--r--
file schedule.c3 136 -rw-r--r--
file syscall.c3 1089 -rw-r--r--