ref: 532c7479e96e439a13df421d3b9f547cde5b5642 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot