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