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