[seL4] seL4 Upgrading Issues

Chris Guikema Chris.Guikema at dornerworks.com
Thu May 4 04:38:13 AEST 2017


Hey John,

Thanks for the response. I had tried untyped_mmios way, and it required some modification of the component.simple.c to even function. Either way, I’m now getting the following errors:

<<seL4(CPU 0) [decodeUntypedInvocation/52 T0xffdfd100 "rootserver" @9a90]: Untyped cap: Illegal operation attempted.>>
<<seL4(CPU 0) [decodeUntypedInvocation/52 T0xffdfd100 "rootserver" @9a90]: Untyped cap: Illegal operation attempted.>>
<<seL4(CPU 0) [decodeUntypedInvocation/52 T0xffdfd100 "rootserver" @9a90]: Untyped cap: Illegal operation attempted.>>
<<seL4(CPU 0) [decodeUntypedInvocation/52 T0xffdfd100 "rootserver" @9a90]: Untyped cap: Illegal operation attempted.>>
<<seL4(CPU 0) [decodeUntypedInvocation/52 T0xffdfd100 "rootserver" @9a90]: Untyped cap: Illegal operation attempted.>>
<<seL4(CPU 0) [decodeUntypedInvocation/52 T0xffdfd100 "rootserver" @9a90]: Untyped cap: Illegal operation attempted.>>

Then after that, the same errors I was getting before…

Was there something else in your configuration you needed to update?

Thanks.
Chris Guikema


From: John Backes [mailto:john.backes at gmail.com]
Sent: Friday, April 28, 2017 3:48 PM
To: Chris Guikema <Chris.Guikema at dornerworks.com>
Cc: devel at sel4.systems
Subject: Re: [seL4] seL4 Upgrading Issues

Hi Chris,

I recall that I may have run into a similar problem. I think the syntax may have changed? Perhaps you want to do this:

    ethdriver.untyped_mmios =  ["0x02188000:12",
                        "0x021BC000:12",
                        "0x020E0000:12",
                        "0x020A4000:12",
                        "0x020B0000:12",
                        "0x020C4000:12",
                        "0x020C8000:12"];


instead of your current "ethdriver.mmios" syntax.

- John

On Fri, Apr 28, 2017 at 1:07 PM, Chris Guikema <Chris.Guikema at dornerworks.com<mailto:Chris.Guikema at dornerworks.com>> wrote:
Hello,

I have developed an Ethernet application using CAmkES 2.2 and seL4 3.2. Because we are going to open-source the design and other documentation, I thought it would be a good idea to upgrade to the latest version of seL4 and CAmkES.

I can pull the latest kernel and merge the compatible libraries with my changes and get everything to compile; however, when I load it on the board it fails…

Failed to find any untyped capable of creating an object at address 0x20c4000
Failed to find a way to map address 0x20c4000
Failed to find any untyped capable of creating an object at address 0x20c8000
Failed to find a way to map address 0x20c8000
Failed to find any untyped capable of creating an object at address 0x20e0000
Failed to find a way to map address 0x20e0000
Failed to find any untyped capable of creating an object at address 0x21bc000
Failed to find a way to map address 0x21bc000

Here is my CAmkES configuration which sets up the Ethdrivers cnode and untypes. Keep in mind this works with seL4 3.2

    ethdriver.simple = true;
    ethdriver.cnode_size_bits = 12;
    ethdriver.simple_untyped20_pool = 4;
    ethdriver.heap_size = 0;
    ethdriver.mmios =  "0x02188000:0x4000:12,
                        0x021BC000:0x4000:12,
                        0x020E0000:0x4000:12,
                        0x020A4000:0x4000:12,
                        0x020B0000:0x4000:12,
                        0x020C4000:0x4000:12,
                        0x020C8000:0x1000:12";

Can anyone see the problem?

Thanks,
Chris Guikema


_______________________________________________
Devel mailing list
Devel at sel4.systems<mailto:Devel at sel4.systems>
https://sel4.systems/lists/listinfo/devel

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sel4.systems/pipermail/devel/attachments/20170503/cba536b3/attachment-0001.html>


More information about the Devel mailing list