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