Hi,


We recently changed a configuration so that SMMU_INTERRUPT_ENABLE​ was default enabled.  This causes SMMU faults to be printed out (and sometimes prevent the system from making progress), if you want to stop this behavior, changing this setting to not enabled will prevent the errors from being printed out and the VM should continue to boot.  Alternatively, adding the SMMU permission to the display device would require adding the IDs 2 and 3 to the vm.smmu field in vm_common.camkes.  Alternatively, removing the display MMIO frames like you have done also works.  We are working on making it easier to configure what hardware devices are passed through to the VM because SMMU permissions are only passed through for just the SDMMC4 and AHB bus devices.


Kent. 

From: Devel <devel-bounces@sel4.systems> on behalf of Enrique Leon <enriquesleon@gmail.com>
Sent: Tuesday, March 14, 2017 4:47 AM
To: devel@sel4.systems
Subject: [seL4] TK1 VMM SMMU Translation Error
 
Hello All,

We have recently run into an issue trying to boot the TK1 VMM on a TK1 Jetson board.
The kernel tries to run but soon runs into translation errors after a couple of seconds.
We are using the non-secure dtb with the initrd image.

Here are some of the lines, it continues on like this and never stops.

SMMU Address translation error:
 ID: 1 address: 0x0 type: 6 direction: 0x0
 IOPT permission: read 0x0 write 0x0 nonsecure 0x0
 SMMU Address translation error:
 ID: 1 address: 0x18fc00 type: 6 direction: 0x0
 IOPT permission: read 0x0 write 0x0 nonsecure 0x
 SMMU Address translation error:
 ID: 1 address: 0x912c0 type: 6 direction: 0x0


We had success running the VM using the previous commit from camkes-arm-vmm repo, but the newest commit has introduced this issue.
We have isolated it to line 93 in the "vmm_common.camkes" file.
Removing "0x54200000:18", // Display A"  from the file fixes the problem and we can boot as normal.
We are also running Uboot 2010-10-rc5 as suggested by a email on the board.

I am still new to working down to this level of code so any help in understanding this problem is appreciated.