tree f20e929c21c5e0782befe6d762acd9673ce6b2d6
parent 26fdc58e95e4bbaeb7c1fffc5388f1e3493f09d4
author Cindy Liu <hcindyl@google.com> 1717718756 +0000
committer Cindy Liu <hcindyl@google.com> 1717723143 +0000

Revert "Temporarily pin renode release for sel4extension breakage"

Revert submission 57194-renode-sel4extension

Reason for revert: <API out of sync fixed in the renode nightly release>

Reverted changes: /q/submissionid:57194-renode-sel4extension

Bypass-Presubmit-Reason: Pass presubmit in topic

Change-Id: Ib2f495407acaa5d1dcf22591d0b02bb728df82af