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