/release/picobsd/custom/floppy.tree/
../
boot
kernel.config