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