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