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