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