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