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