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