On Mon, 11 Mar 2024 12:55:36 GMT, Ludovic Henry <luhenry at openjdk.org> wrote: > Can you change the title of the issue + PR to mention it's a Rivos specific change? Done. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18191#issuecomment-1988407923