ref: da9b69ed37cba4b85a6bd2bc394919cead28790a dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot