Hi Benjamin, I believe the issue is that this camkes application assumes an iommu but your vmware vm doesn't provide any iommus > ACPI: 0 IOMMUs detected This then likely results in seL4 not creating any iospace caps getting created. When these caps are created the kernel would ordinarily print something like: IOMMU 0x0: 8-bit domain IDs supported IOMMU: Using 4 page-table levels (max. supported: 4) IOMMU: Create VTD context table for PCI bus 0x0 (pptr=0xffffff841a6cc000) IOMMU: Create VTD context table for PCI bus 0x1 (pptr=0xffffff841a6d9000) IOMMU: Create VTD context table for PCI bus 0x2 (pptr=0xffffff841a6da000) IOMMU: Create VTD context table for PCI bus 0x3 (pptr=0xffffff841a6db000) As the caps aren't created, this is what is likely causing the failed lookup error. I'm not familiar with vmware workstation, but maybe this is something that can be enabled for the guest.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
