Hello Christian, thanks for your help. I have taken the platform_drv configuration from repos/base/run/platform_drv.inc and only changed the routes to be explicit. I rechecked and the runfile does indeed contain the line with constrain_phys [1]. I have also tested several other drivers (ahci_drv, audio_drv, nic_drv) with run files based on the same code and only the wifi driver showed this behaviour.
Regards, Johannes [1]: https://github.com/jklmnn/base-linux-hw/blob/5824238397139b012785f056c1267018877a7054/run/wifi_test_log.run#L209 Am 04.12.2017 um 17:35 schrieb 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 > ------------------------------------------------------------------------------ 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
