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