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