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