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