Isaar Ahmad

Yes, please share a plan (or an outline) for the required functionality. That would be helpful in assessing whether someone (e.g. myself) can take up the task.

Hi @JeanRochCoulon @valentinThomazic . Apologies for the delayed response. I have some time over the next few weeks and can contribute if there is clarity on the following : 1....

@valentinThomazic @JeanRochCoulon I have started working on this. Please bear with me, as the response is a bit lengthy. I took the approach suggested in https://github.com/openhwgroup/cva6/issues/1358#issuecomment-1808134071 and still faced issues....

Hi @valentinThomazic , I got the simplest example working after factoring your recent inputs. I used a recent version of RISC-V pk (available around January 3 2025) and compiled it...

@gcchri could you share a snippet from your logfiles ? I also had failures, and figured it was due to simulation timeout. I guess it may apply to your case...

Update : I am able to run complex programs with printf enabled. I will be opening a pull request within this week (unless someone else beats me to it). Here...

Hello @valentinThomazic , My PR is currently on hold as I am awaiting permission from my employer to make open source contributions to the CVA6 repository. There are two possibilities...

Update : I am still waiting for permission from my employer regarding contributions to this repository. I will keep you informed. Thanks

Hi @valentinThomazic @JeanRochCoulon , A quick heads up. I am finalizing a pull request that introduces pk installation and veri-testharness simulation with pk. Will send it across hopefully in 1-2...

@valentinThomazic , I hope I am not too late. I have submitted a pull request. Please take a look in your free time. This provides a working baseline. I anticipate...