ref: 692023ee08786ad834e03f5f271c20ce50feee3a dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot