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