Hi,
I need your help in trying to understand what is the best way to implement
a permanent fix I can push on the seL4 repository regarding the
incompatibility issues between the libethdriver and MUX interface of the
platsupport.
This apply to the iMX6 ethernet driver. I'm not sure about other
Hi Mike,
Do still get the error when you add ID 22 to this list yourself?:
https://github.com/SEL4PROJ/camkes-arm-vm/blob/master/components/VM/vm_common.camkes#L278
Kent.
From: Mike Clark
Sent: Tuesday, June 26, 2018 6:00 AM
To: Mcleod, Kent (Data61,
Kent,
After syncing the repos to the latest and following your suggestion, I'm
now back to where I started with this error:
*SMMU Address translation error:*
*ID: 98 address: 0xae5bd000 type: 6 direction: 0x0*
*IOPT permission: read 0x0 write 0x0 nonsecure 0x0*
*[ 10.468422] mmc1: ADMA error*
Hi Mike,
For some reason, the Tk1Insecure setting gets reset to false during the initial
configuration which is why you can't see the ethernet card. Running the below
command, or opening the cmake cache using (ccmake .) you can correct the
setting.
cmake -DTk1Insecure=True . && ninja
Kent.
