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