ian a5cc4ff425 Disable debugging-related options in all ARM kernel configs for stable-10. ...

This is a direct commit to stable-10.  The following options are disabled
in all arm kernel configs:

	DEADLKRES
	DIAGNOSTIC
	INVARIANTS
	INVARIANTS_SUPPORT
	WITNESS
	WITNESS_SKIPSPIN
Approved by:	re(gjb)

2014-09-11 15:36:36 +00:00

..

allwinner

MFC 256873: Make watchdog function conform watchdog(9):

2014-05-18 16:03:34 +00:00

arm

MFC r270862, r270878: MMU fixes for kernel startup.

2014-09-09 18:17:43 +00:00

at91

MFC 265852: Map device memory using PTE_DEVICE rather than PTE_NOCACHE.

2014-05-18 00:32:35 +00:00

broadcom/bcm2835

MFC: r270885, r270948

2014-09-03 20:07:26 +00:00

cavium/cns11xx

MFC 265852: Map device memory using PTE_DEVICE rather than PTE_NOCACHE.

2014-05-18 00:32:35 +00:00

conf

Disable debugging-related options in all ARM kernel configs for stable-10.

2014-09-11 15:36:36 +00:00

freescale

MFC r270065:

2014-09-09 19:47:35 +00:00

include

MFC r270882, r270930:

2014-09-09 22:24:01 +00:00

lpc

MFC 262952, 262958, 262966, 262979, 262980, 262986, 262987, 262995, 262997,

2014-05-17 13:53:38 +00:00

mv

MFC 265852: Map device memory using PTE_DEVICE rather than PTE_NOCACHE.

2014-05-18 00:32:35 +00:00

rockchip

MFC 265624, 265739: Fix interrupt parent property in dts, add SMP support.

2014-05-18 13:05:07 +00:00

s3c2xx0

MFC 265852: Map device memory using PTE_DEVICE rather than PTE_NOCACHE.

2014-05-18 00:32:35 +00:00

samsung/exynos

MFC 264150: Exynos: Correct the end address of the video frame buffer.

2014-05-17 21:26:33 +00:00

tegra

MFC 262952, 262958, 262966, 262979, 262980, 262986, 262987, 262995, 262997,

2014-05-17 13:53:38 +00:00

ti

MFC: r270885, r270948

2014-09-03 20:07:26 +00:00

versatile

MFC 262952, 262958, 262966, 262979, 262980, 262986, 262987, 262995, 262997,

2014-05-17 13:53:38 +00:00

xilinx

MFC 265099, 265148, 265690:

2014-05-17 23:25:20 +00:00

xscale

MFC 256942, 256943:

2014-05-18 16:07:35 +00:00