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