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