The kernel is now in /boot/kernel/kernel
[ikiwiki.git] / release18 /
drwxr-xr-x   ..
-rw-r--r-- 13042 index.html