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