ref: 97d45a546856be1c45610f8aa087275c5efc8001 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot