tree c492369756ec56373c150291268f0963e1f20a8a
parent b418214ff643468873057f8cade340b93dd2b9f5
author Tor Jeremiassen <torerik@google.com> 1733268040 -0800
committer Tor Jeremiassen <torerik@google.com> 1733860192 -0800

Allows setting a core version from command line and renode properties.
The version is specified as an integer, with 100 = 1.00, 150 = 1.50, etc.

Behavior of jal/jalr are changed for core versions greater than 100 (default).
In higher versions, when the destination register is not "ra", then an
unsealed return capability is returned as opposed to a sealed one.

PiperOrigin-RevId: 702487323
Change-Id: I3cdefd785a7eb793e1c50924aa434568a2930bf9