ref: 23fcad3496886ed1c42a2066ad1eca4ac6de75d7 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot