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