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