Reto Buerki f1d2d7251d hw_x86_64_muen: Include static ACPI report ROM ...

Enable the ACPI functionality in the platform_drv on hw_x86_64_muen and
provide a simple generated XML report as ROM session in order to make
the PCI configuration space available.

This is a requirement to implement support for MSI on hw_x86_64_muen.

2016-02-26 11:36:53 +01:00

..

fiasco

Add support for ipxe load (nova, foc, fiasco)

2015-09-30 12:20:40 +02:00

foc

Add support for ipxe load (nova, foc, fiasco)

2015-09-30 12:20:40 +02:00

hw

hw_x86_64_muen: Include static ACPI report ROM

2016-02-26 11:36:53 +01:00

linux

run: modularize run tool

2015-01-26 12:28:40 +01:00

nova

nova: don't unzip images with grub

2015-10-09 16:38:47 +02:00

okl4

okl4: increase available physical memory

2015-10-28 15:06:23 +01:00

pistachio

run: capture kernel msg to detect boot errors

2015-02-16 14:01:45 +01:00

sel4

Fix build and execution of test/sel4

2015-10-06 12:18:56 +02:00