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