tree b2016eb2b7b8b64e331f088a22088bb0a52f9e4b
parent 0f08b2d322aeef3a292214c9b9012399aba8c9ed
author Cindy Liu <hcindyl@google.com> 1717777994 +0000
committer Cindy Liu <hcindyl@google.com> 1717778043 +0000

Revert "Temporarily pin renode release for Sel4Extension breakage"

This reverts commit 44817422a82b5b73b0b66dd07d7af3dd279bd187.

Reason for revert: <API mismatch resolved>

Change-Id: I49580c051c63b3115b4d34b5ed94f4f1c5cafa10