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: <> <> <> <> <> <> 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@gmail.com] Sent: Friday, April 28, 2017 3:48 PM To: Chris Guikema Cc: devel@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 mailto:Chris.Guikema@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@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel