Hello Johannes, just an idea...
On Mon, Dec 04, 2017 at 10:04:36AM +0100, Johannes Kliemann wrote: > > [platform_drv] Error: wifi_drv -> : assignment of PCI device 4:0.0 > failed phys=0xf8400000 virt=0x10 This physical address seems fairly high. Are you sure you enabled the platform_drv to apply constrains to dataspace allocations? Your start node should contain something like <resource name="RAM" quantum="4M" constrain_phys="yes"/> Greets -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main