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