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