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