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