ref: 09eac381e58e74051ab7ddb1e96fc32671d3cada dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot