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