ref: 57f262b135ee14e3760b9b88f623e205eedaaf4f dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot