seL4_FailedLookup in vmware
Hello
I set up VMware according to this guide https://docs.sel4.systems/Hardware/VMware/ (using serial output to file) and compiled the picoserver CAmkES application (for x86_64) to run inside the VMware machine.
However, I do encounter a seL4_FailedLookup error. I understand the error message but cannot figure out why it occurs nor how to fix it (probably my pci configuration is wrong). Attached you find the serial_output file.
For the ethernet configuration I used linux in the same VM to figure out the details:
1) ip addr:
2: ens32:
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.
participants (2)
-
KAP Benjamin -
Mcleod, Kent (Data61, Kensington NSW)