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/1f7b5e75bfeb9ec35b975b4db66fc9b9bd...