Moritz Schneider

Debugging virtual memory with GDB is a bit of a hassle. I think you must use updated openOCD and gdb versions and even then it is pretty weird. See https://github.com/riscv/riscv-openocd/pull/386

The newest openOCD and GDB

I cannot really comment on these functions as I do not know where they are from. I guess no one tried to boot the entire linux image with single stepping...

I believe there is a nommu patchset for linux on risc-v. However, I do not think it is stable yet and I have never used it. Since fdt is part...

I do not know. I never had to modify the bootrom to get linux to boot

We use initramfs and as such do not have any filesystem. Everything is put on a ramdisk that is created on boot

The openocd config file is in the main Ariane (or CVA6) repository. As soon as you launch openocd and it sucessfully connects to the FPGA it outputs a port on...

Just to check: are you sure you use the correct ariane image and the correct jtag usb port?

Why do you configure your IO? The release image of ariane already has the correct ports specified.

I have no skin in the game but I would argue to at least keep the WTCache in the Thales CI until the Github CI is fixed (see #2050). I...