Stefan Kalkowski 57aab46fc3 platform: introduce I/O ports in API ...

* Introduces Platform::Device::Io_port client utility
* Implements I/O ports as common device resources in platform driver

Fix genodelabs/genode#4436

2022-03-07 16:42:56 +01: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

os: add platform_session/dma_buffer.h

2022-02-15 10:16:52 +01:00

device.h

platform: introduce I/O ports in API

2022-03-07 16:42:56 +01:00

dma_buffer.h

os: add platform_session/dma_buffer.h

2022-02-15 10:16:52 +01:00

platform_session.h

platform: introduce I/O ports in API

2022-03-07 16:42:56 +01:00