Hi, I turned off the CONFIG_SMMU_INTERRUPT_ENABLE because of the SMMU address translation error, like this: > 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, [email protected] 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.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
