Stefan Kalkowski 281785f6bd platform API: make MMIO dataspace cap accessible
In case of the GPU multiplexer, we need to delegate MMIO memory
to the framebuffer client in form of a managed dataspace. To be
able to attach a given Platform::Device::Mmio object to a region map
we need to access its capability.

Ref genodelabs/genode#4578
2022-10-12 11:59:08 +02:00
..
2021-12-17 15:04:45 +01:00
2022-08-10 13:32:57 +02:00
2020-07-13 11:33:13 +02:00
2021-12-17 15:04:45 +01:00
2022-08-10 13:33:00 +02:00
2017-03-24 16:19:56 +01:00
2022-02-15 10:17:28 +01:00
2019-01-30 13:49:54 +01:00
2022-10-12 11:59:08 +02:00
2021-12-17 15:04:45 +01:00
2021-06-25 11:41:45 +02:00
2021-12-17 15:04:45 +01:00
2021-12-17 15:04:45 +01:00
2020-04-17 12:40:12 +02:00
2022-08-17 12:03:07 +02:00
2021-12-17 15:04:45 +01:00