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