src/tools/hp700-mkboot
