/release/picobsd/tools/write_mfs_in_kernel/