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