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