ref: 2719003b36ef8fdd4723ccb5a8e12e4b10fe41ed dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot