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