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