Johannes Schlatow 0cf2b1be89 gpu/intel: use CACHED dma buffers ...

On x86, DMA buffers are actually always mapped as cached. We should
therefore actually ask for a cached buffer in order to avoid confusion.

genodelabs/genode#5000

2023-10-26 15:29:39 +02:00

..

app

trace_logger: log priority of trace subject

2023-10-04 13:22:04 +02:00

drivers

gpu/intel: use CACHED dma buffers

2023-10-26 15:29:39 +02:00

init

xml_node: change with_sub_node signature

2022-09-19 14:00:33 +02:00

lib

genode_c_api: remove global-static constructors

2023-10-25 08:58:53 +02:00

monitor

hw: fix vmm_arm test on arm_v8a

2023-10-04 13:22:08 +02:00

server

vmm: rename State to Vcpu_state for clarity

2023-10-04 13:22:07 +02:00

test

vmm_x86: port to new VMM library API

2023-10-04 13:22:04 +02:00

trace/policy

Add trace policy binary to BUILD_ARTIFACTS

2023-05-30 17:00:01 +02:00