ref: 7bc43d5538ad54c034ad28eb221c96317a61d466 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot