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 <
[email protected]> 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
> [email protected]
> https://sel4.systems/lists/listinfo/devel
>
>
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
