11:41 <stettberger> I performed some additional experiments, and I'm quite sure there is some real problem. I opened a github issue for it https://github.com/litex-hub/linux-on-litex-vexriscv/issues/362

13:53 <somlo> stettberger: re. naxriscv, I thought it was also 64-bit (haven't paid close enough attention to know for sure whether it also has a 32-bit variant)

13:55 <somlo> side note: I am slowly gathering up momentum and energy to start looking into naxriscv for running "real distros" (e.g. fedora) as a replacement for rocket, whose upstream currently appears to be on "life support"