src/release/picobsd/install
