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