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