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