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