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