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