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@sel4.systems
https://sel4.systems/lists/listinfo/devel