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