tree 51c1ea4361abbd35359aca73d0de6ada086f20ac
parent 1903118e54ac8c4e1400dbef92a7bd6b0893e358
author Cindy Liu <hcindyl@google.com> 1717614239 -0700
committer Cindy Liu <hcindyl@google.com> 1717614279 -0700

Temporarily pin renode release for Sel4Extension breakage

Change-Id: I5f5c9809669a6d387b07e4f11a180dd90adab0ce