kern

directory / @ 87:178d5a95e6de

name size permissions
[up] drwxr-xr-x
dir. include/ drwxr-xr-x
dir. src/ drwxr-xr-x
file .gdbinit 45 -rw-r--r--
file .hgignore 41 -rw-r--r--
file COPYING 35147 -rw-r--r--
file Makefile 1326 -rw-r--r--
file README 1794 -rw-r--r--
file debug 84 -rwxr-xr-x
file mkdiskimg 1214 -rwxr-xr-x
file run 77 -rwxr-xr-x