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