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