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