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