kern

directory /src/boot/ @ 71:c7bd6ec7b946

name size permissions
[up] drwxr-xr-x
file mboot.S 614 -rw-r--r--
file mboot.h 2113 -rw-r--r--