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