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