wifi: assignment of PCI device failed

[Christian Helmuth]

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