directory /kernel/ @ 14:8b2ce241f5f1 default tip

name size permissions
[up] drwxr-xr-x
file Makefile 325 -rw-r--r--
file kernel.c 29 -rw-r--r--