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