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