ID 1 should correspond to the DC SMMU group which we assign ASSID 3, which is referred to in CAmkES as 2. We disable the video controller in our Linux configs and device tree file I believe, so I haven't tested if providing the correct SMMU configuration fixes your issue sorry. ?If you don't need the video controller, you could try disabling it in the Linux config and device tree specification.
Kind regards,
Kent.
________________________________
From: Devel
SMMU Address translation error: ID: 1 address: 0xbde00000 type: 6 direction: 0x0 IOPT permission: read 0x0 write 0x0 nonsecure 0x0 I tried to add the IDs 2 and 3 to the vm.smmu field in vm_common.camkes, but that does not work. Do I need to make any other changes?
At 2017-08-01 07:24:59, Kent.Mcleod@data61.csiro.aumailto:Kent.Mcleod@data61.csiro.au wrote: This could be due to an IOMMU configuration issue. Have you tried turning on the CONFIG_SMMU_INTERRUPT_ENABLE as well as CONFIG_PRINTING options in the seL4 kernel configuration? This will print out IOMMU faults that indicate the IOMMU isn't configured correctly. Kent.