Anyone else running into this issue with the latest clone? I had this all
working just fine previously (maybe 6 months ago), but something must have
been updated that breaks this. Not sure why.

Mike

On Tue, Jun 12, 2018 at 8:45 AM, Mike Clark <undefinedsp...@gmail.com>
wrote:

> Adrian,
>
> I am doing `make menuconfig`, then going to "Applications" and checking
> the box that says "Insecure: Give all devices to VM component". That is the
> only change I do, then recompile, copy the new image to my SD card, and
> boot.
>
> Mike
>
> On Mon, Jun 11, 2018 at 9:20 PM, <adrian.da...@data61.csiro.au> wrote:
>
>> Hi Mike,
>>
>> In order to be acting as a hypervisor in the default configuration that
>> you say booted fine seL4 will already be setup to run in nonsecure
>> hypervisor mode. Given this can you elaborate on what 'the unsecure mode'
>> is and how you are switching to it?
>>
>> Adrian
>>
>> On Sun 10-Jun-2018 10:08 PM, Mike Clark wrote:
>> > I just checked out a fresh copy of https://github.com/
>> > SEL4PROJ/camkes-arm-vm-manifest and built an image for the TK1 using
>> the
>> > docker build environment. I copied the resulting image to an SD card
>> and it
>> > boots fine.
>> >
>> > If I switch to the unsecure mode, I get an error on boot.
>> >
>> > SMMU Address translation error:
>> > ID: 98 address: 0xae5be000 type: 6 direction: 0x0
>> > IOPT permission: read 0x0 write 0x0 nonsecure 0x0
>> > [   10.204777] mmc1: ADMA error
>> >
>> >
>> > I have not made any changes, so my vm.smmu settings are all default.
>> >
>> > Any thoughts or help?
>> >
>> > Mike
>> >
>> >
>> >
>> > _______________________________________________
>> > Devel mailing list
>> > Devel@sel4.systems
>> > https://sel4.systems/lists/listinfo/devel
>> >
>
>
>
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to