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