ref: 1759a1746d3629e29c924d70cf6632cfb2c14209 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot