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