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