ref: 45b79036bed41e170dd4fca0bbec4425aee5033e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot