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