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