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