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