/release/picobsd/build/

• ../
• write_mfs_in_kernel.c