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