freebsd-skq/sys/arm
ganbold c809908d6a Disable WPI in case of aml8726-m3.
The aml8726-m3 SoC is identified as a Cortex A9-r2 rev 4 CPU and
it hangs sometimes during the boot when WFI is used by the kernel.

Differential Revision:	  https://reviews.freebsd.org/D2473
Submitted by:		  John Wehle
Suggested by:		  ian@
2015-05-12 08:53:54 +00:00
..
allwinner Add the gic to files.arm under "device gic" and use it with the 2015-05-10 09:33:03 +00:00
altera/socfpga Use the new gic option on all configs that need it. 2015-05-10 12:13:27 +00:00
amlogic/aml8726 Disable WPI in case of aml8726-m3. 2015-05-12 08:53:54 +00:00
arm Retire pmap_lazyfix(). This function only existed in the new armv6 pmap 2015-05-11 19:55:01 +00:00
at91 Include machine/intr.h for arm_post_filter. 2015-04-04 23:00:37 +00:00
broadcom/bcm2835 Add the SMP support for Raspberry Pi 2 (BCM2836). 2015-05-07 22:11:44 +00:00
cavium/cns11xx Build the cpufunc_asm_* files based on the cpu type, not which config file 2015-03-29 22:43:39 +00:00
conf Use the new gic option on all configs that need it. 2015-05-10 12:13:27 +00:00
freescale Use the new gic option on all configs that need it. 2015-05-10 12:13:27 +00:00
include Retire pmap_lazyfix(). This function only existed in the new armv6 pmap 2015-05-11 19:55:01 +00:00
lpc Build the cpufunc_asm_* files based on the cpu type, not which config file 2015-03-29 22:43:39 +00:00
mv Include vm/pmap.h for pmap_kextract. 2015-04-04 23:03:11 +00:00
qemu Use the new gic option. While here remove extra whitespace from the ned of 2015-05-10 09:37:54 +00:00
rockchip Use the new gic option on all configs that need it. 2015-05-10 12:13:27 +00:00
samsung Use the new gic option on all configs that need it. 2015-05-10 12:13:27 +00:00
ti Use the new gic option on all configs that need it. 2015-05-10 12:13:27 +00:00
versatile Include vm/pmap.h for pmap_kextract. 2015-04-04 23:03:11 +00:00
xilinx Use the new gic option on all configs that need it. 2015-05-10 12:13:27 +00:00
xscale Build the cpufunc_asm_* files based on the cpu type, not which config file 2015-03-29 22:43:39 +00:00