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