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