Svatopluk Kraus 7758916f44 Move ARM_L2_PIPT option to std.armv6 for all armv6 platforms. ... Only L2 PIPT cache is supported for __ARM_ARCH >= 6. In fact, this is just a pure proclamation as this option is used only in armv4 specific files now.		2016-02-22 11:47:28 +00:00
..
files.qemu	Create device options for the two common ARM timers.	2015-11-21 16:23:56 +00:00
std.virt	Move ARM_L2_PIPT option to std.armv6 for all armv6 platforms.	2016-02-22 11:47:28 +00:00
virt_common.c	Fix a logic inversion when checking for ARM_INTRNG	2016-02-10 16:44:20 +00:00
virt_machdep.c
virt_mp.c	[intrng] Migrate the intrng code from sys/arm/arm to sys/kern/subr_intr.c.	2015-12-18 05:43:59 +00:00