The kernel is now in /boot/kernel/kernel
[ikiwiki.git] / posix_checklists /
drwxr-xr-x   ..
-rw-r--r-- 745 index.mdwn