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