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