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