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