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