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