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