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