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