h for just
> the SDMMC4 and AHB bus devices.
>
>
> Kent.
> --
> *From:* Devel <devel-bounces@sel4.systems> on behalf of Enrique Leon <
> enriquesl...@gmail.com>
> *Sent:* Tuesday, March 14, 2017 4:47 AM
> *To:* devel@sel4.syst
enriquesl...@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 af