matthewgui

# Use gdb to download linux images and debug > [中文机翻版本](https://github-com.translate.goog/Nuclei-Software/nuclei-linux-sdk/issues/23?_x_tr_sl=en&_x_tr_tl=zh-CN&_x_tr_hl=en&_x_tr_pto=wapp) This document guides customers how to download the image to the fpga board through jtag to run, to avoid...

# How to create dma coherent memory on Nuclei Linux Platform The RISC-V Instruction Set Manual Privileged Architecture have added the Svpbmt Standard Extension for sv39,sv48,sv57, more details info refer...

Question about wired interrupt pass through to VM

2

For PCIe device, it can write msi and using iommu to pass through to VM. But for some device with wired interrupt(using aplic delivery to imsic)，how are the interrupts passed...