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