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