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