genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-04 10:10:59 +00:00

History

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

capability.h

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

client.h

Give diagnostic aid to callers of 'dma_addr'

2022-02-15 10:17:28 +01:00

connection.h

platform API: simplify _wait_for_device

2022-09-21 12:19:10 +02:00

device.h

platform API: make MMIO dataspace cap accessible