tree c2f22cb02f4b01723c7ee1f46e73494740e3d4e1
parent 4bf4bc0f8f69ed2a21492838ea657fa81ec3e5e0
author Tor Jeremiassen <torerik@google.com> 1733268040 -0800
committer Tor Jeremiassen <torerik@google.com> 1734019896 -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: I856b7bcf0b1fb6da694486d6de8d0dde41de7029