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