/release/picobsd/custom/floppy.tree/

• ../
• boot
• kernel.config