Roger Pau Monné 0f40a54e1b libacpi: don't announce a 8042 controller in the FADT for PVHv2 guests ...

There's no such controler available for PVHv2 guests.

Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>

2016-12-07 17:13:59 +01:00

..

etherboot

ipxe: update to newer commit

2016-10-12 15:26:18 +01:00

hvmloader

libacpi: don't announce a 8042 controller in the FADT for PVHv2 guests

2016-12-07 17:13:59 +01:00

rombios

acpi: Move ACPI code to tools/libacpi

2016-09-28 14:32:05 +01:00

vgabios

Replace FSF street address with canonical URL

2015-07-29 11:14:07 +01:00

Makefile

tools/firmware: Rename bios.bin to seabios.bin

2016-09-05 11:53:16 +01:00

ovmf-makefile

tools: OVMF parallel build

2015-03-11 15:39:07 +00:00

Rules.mk

tools: pass EXTRA_CFLAGS via environment

2012-06-07 18:51:42 +01:00