Hi all,

on base-linux when Genode::Pd_connection::address_space is called it
returns an invalid capability. In the platform_drv [1] this causes the
Region_map to fail to attach the DMA memory.

On NOVA for example this capability is valid. I went through the code
but I still have no idea what causes this capability to be invalid.

Regards,
Johannes

[1]:
https://github.com/genodelabs/genode/blob/1f7b5e75bfeb9ec35b975b4db66fc9b9bd08fbbe/repos/os/src/drivers/platform/spec/x86/device_pd.h#L54

------------------------------------------------------------------------------
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

Reply via email to