Hi,<div>I have a generic question about DMA driver  in the VM on sel4. How does the device driver in the  vm  put physical address in the DMA controller given that there is no emulation in sel4? I worked on TK1 sel4 hypervisor extention version, but cannot find any address translation from  vmm. </div><div><br></div><div>Thanks</div><div>Peng</div>