tree 078736d3dc57ad7fa66430f2f035d88c88e6e3cd
parent 47c3a3dc54443dd2c1b231ffa9fbbd17f2bcccea
author Cindy Liu <hcindyl@google.com> 1717613489 -0700
committer Cindy Liu <hcindyl@google.com> 1717613489 -0700

Temporarily pin renode release for sel4extension breakage

Bypass-Presubmit-Reason: CL topic verified
Change-Id: I26ad39fea3be5264b685773367541e918fa24f9c