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