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