Jason

Thanks for your answer, indeed set the parameters as you indicate , i run a co-simulation of RTL and spike, however in the log info shows that the TANDEM YAML...

UPDATE !! SETUP : The setup of the whole system has been made following the README file of the repository. After system setup i set the env variable SPIKE_TANDEM =...

Hello @valentinThomazic, @JeanRochCoulon , Could you please give some directions to be able to support riscv proxy kernel in the current environment of cva6. I tried to install riscv pk...

Hello @valentinThomazic , The pk and the hello world were compiled for 64 bits with the flow of the comment you gave in [#1358](https://github.com/openhwgroup/cva6/issues/1358#issuecomment-1808134071) and it worked . Could you...

Ok could you guide me on how to add c_ld in the current implemantation of core-v-verif ?

Hello, @Ly-Van-Minh, Yes i have figured out the way to boot the fw_payload in verilator, but i haven't used vcs to run it.

Hello @Moschn, @walrider3 , I have also encountered the same problem when i use make clean-all and then make all in my host machine instead of docker. Is there any...

Okay, I understand. Could you let me know if you have tried any version of Verilator greater than or equal to 5.020?