.repl and .resc files for Renode cannot be created from Litex

[fdsgdshn]

Hi,
I'm encountering an error while trying to generate the .resc and .repl files expected to be created by Litex for Renode, using Litex's Python files. How can I overcome this issue? Could you provide some guidance?

Below, I have attached detailed information regarding the error I'm experiencing.
Thank you!

I'm getting an error indicating that the csr.json file does not contain the "config_cpu_count" parameter. The error occurs in litex/build/lib/litex/tools/litex_json2renode.py, specifically in line 217, where it tries to access csr['constants']['config_cpu_count'], and in line 1080 resulting in a KeyError: 'config_cpu_count'.