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