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