Hi, Is the OpenSBI community looking to the Github repository sometime ? I opened an issue [1] and would be great if someone looks at this. [1] https://github.com/riscv-software-src/opensbi/issues/281 Thanks Maro