ref: 800334cb8d11b5fe1bd4ef40bdc53fac49a2ee21 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot