ref: 55a3964517fe6b57da07de12ceb7753886b8ed3a dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot