4 Dec
2017
4 Dec
'17
5:35 p.m.
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