Stefan Kalkowski b78b543011 vmm: make ARM VMM configureable ...

This commit enables users of the VMM to define CPU type and count, RAM size,
kernel and initrd ROM names, GIC version, and Virtio devices to be used.
Derived from the configuration values a flattened device-tree blob (DTB) is
generated and transfered to the VM.

Fix genodelabs/genode#4670

2022-11-17 08:00:37 +01:00

..

app

pci_decode: initial device-report buffer of 32K

2022-11-17 08:00:34 +01:00

drivers

platfrom_drv: map DMA memory non-natural when iommu is present

2022-11-17 08:00:37 +01:00

init

xml_node: change with_sub_node signature

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

lib

genode_c_api: add config update to block interface

2022-11-17 08:00:35 +01:00

server

vmm: make ARM VMM configureable

2022-11-17 08:00:37 +01:00

test

drivers: use DMA buffer more consistent

2022-11-17 08:00:36 +01:00

trace/policy

os: src/lib/trace/policy -> src/trace/policy

2022-09-19 13:59:27 +02:00