Shannon Zhao ee246400c1 hw/arm/virt-acpi-build: Generate GTDT table ... ACPI v5.1 defines GTDT for ARM devices as a place to describe timer related information in the system. The Arch Timer interrupts must be provided for GTDT. Signed-off-by: Shannon Zhao <zhaoshenglong@huawei.com> Signed-off-by: Shannon Zhao <shannon.zhao@linaro.org> Reviewed-by: Alex Bennée <alex.bennee@linaro.org> Message-id: 1432522520-8068-11-git-send-email-zhaoshenglong@huawei.com Signed-off-by: Peter Maydell <peter.maydell@linaro.org>		2015-05-29 11:28:56 +01:00
..
allwinner-a10.h
arm.h	target_arm: Parameterise the irq lines for armv7m_init	2015-02-05 13:37:21 +00:00
digic.h
exynos4210.h
imx.h
omap.h	hw: Convert from BlockDriverState to BlockBackend, mostly	2014-10-20 14:02:25 +02:00
primecell.h
pxa.h	hw: Convert from BlockDriverState to BlockBackend, mostly	2014-10-20 14:02:25 +02:00
sharpsl.h
soc_dma.h
stm32f205_soc.h	stm32f205: Fix SoC type name	2015-04-13 11:37:10 +01:00
virt-acpi-build.h	hw/arm/virt-acpi-build: Generate MADT table	2015-05-29 11:28:56 +01:00
virt.h	hw/arm/virt-acpi-build: Generate GTDT table	2015-05-29 11:28:56 +01:00
xlnx-zynqmp.h	arm: xlnx-zynqmp: Add UART support	2015-05-18 16:41:13 +01:00