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