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