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