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