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