ref: 193daffafb2ca564a47e52489cb082d77fa78872 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot