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