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