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