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