genode/base-foc/include
Norman Feske 288fd4e56e Add support for allocating DMA memory
This patch extends the RAM session interface with the ability to
allocate DMA buffers. The client specifies the type of RAM dataspace to
allocate via the new 'cached' argument of the 'Ram_session::alloc()'
function. By default, 'cached' is true, which correponds to the common
case and the original behavior. When setting 'cached' to 'false', core
takes the precautions needed to register the memory as uncached in the
page table of each process that has the dataspace attached.

Currently, the support for allocating DMA buffers is implemented for
Fiasco.OC only. On x86 platforms, it is generally not needed. But on
platforms with more relaxed cache coherence (such as ARM), user-level
device drivers should always use uncacheable memory for DMA transactions.
2012-06-20 09:17:48 +02:00
..
arm/cpu Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
base Add support for allocating DMA memory 2012-06-20 09:17:48 +02:00
foc_cpu_session Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
foc_pd_session Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
signal_session Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
util Fiasco.OC: fix bugs in cap_map insertion/removal 2012-05-29 13:55:00 +02:00