AndrewD

The default --sys-clk-freq is 27mhz which matches the input clock, so if changing --sys-clk-freq doesn't work then then may be an issue with the PLL setup in litex. Are there...

Try this toolchain: ./configure --prefix=/opt/riscv --enable-multilib make You might need some makefile customization to use the Linux toolchain you built

The issue is most likely in printf(), particularly if it has some conditional compilation features, but the other vague possibility is the float to double conversion when calling printf.

I just had a brief look at picolibc: Maybe add an experiment try --bios-format double.

For the float option you probably need a gcc flag too. --float-double or something like that

I found with arch linux that --user is no longer allowed, but --editable (development) installs are actually still installed per user so not specifying --user fixed this for me.

I just got sim debug working with etherbone: it works with wishbone-tool but litex_server seems to have a regression which prevents the combination of litex_server and openocd from working. wishbone-tool...

Thanks, i wondered if that may be the case. My motivation was to ensure litex changes test against litex-boards, because this catches an issue I missed with a litex change....

> Btw, i'm new on fpga, another question is that where the irq number come from ? Is it come from the litex design or rocketchip? It could come from...

It looks like `linux-on-litex-rocket` recommends a specific dts which is almost guaranteed to be wrong and the source of the reported error. @Comet959 if you are using that dts (which...