Yanyan Shen 67bcf2357c arm_hyp: rm ARM_HYP ifdefs; func inline assembly ... vcpu.c: encapsulate inline assembly into inline functions that added to device_pl2.h file. other files: replace #ifdef ARM_HYP with config_set(ARM_HYP)		2016-03-24 12:42:19 +11:00
..
allwinnerA20/plat	Change additional int->word_t due to interraction with the C parser to ease verification	2015-12-10 10:45:22 +11:00
am335x	x86: IOAPIC/MSI syscalls	2016-02-02 15:58:18 +11:00
apq8064	arm_hyp: remove unused function declaration.	2016-03-24 12:42:19 +11:00
exynos4	Change additional int->word_t due to interraction with the C parser to ease verification	2015-12-10 10:45:22 +11:00
exynos5	arm_hyp: rm ARM_HYP ifdefs; func inline assembly	2016-03-24 12:42:19 +11:00
imx6	imx6: Update autconf.h for standalone kernel compile	2016-02-12 14:08:08 +11:00
imx7	arm/imx7: add support for iMX7-based Sabre board	2016-02-25 15:07:53 +11:00
imx31	x86: IOAPIC/MSI syscalls	2016-02-02 15:58:18 +11:00
omap3	SELFOUR-435: change kernel timer from GPT11 to 9	2016-03-17 09:54:40 +11:00
pc99	x86: Change some PHYS_CODE to BOOT_CODE	2016-03-02 11:11:48 +11:00
tk1	arm/tk1: add support for Nvidia Tegra K1 board	2016-03-22 16:23:37 +11:00
zynq7000	Change additional int->word_t due to interraction with the C parser to ease verification	2015-12-10 10:45:22 +11:00