svn commit: r295540 - head/sys/arm/conf

[Andrew Turner]

Author: andrew
Date: Thu Feb 11 18:01:10 2016
New Revision: 295540
URL: https://svnweb.freebsd.org/changeset/base/295540

Log:
  Enable ARM_INTRNG on all kernel configs where we use the Generic Interrupt
  Controller.
  
  Sponsored by:	ABT Systems Ltd

Modified:
  head/sys/arm/conf/ALPINE
  head/sys/arm/conf/ARMADA38X
  head/sys/arm/conf/EXYNOS5.common
  head/sys/arm/conf/ODROIDC1
  head/sys/arm/conf/PANDABOARD
  head/sys/arm/conf/RK3188
  head/sys/arm/conf/SOCKIT.common
  head/sys/arm/conf/VIRT
  head/sys/arm/conf/VSATV102
  head/sys/arm/conf/VYBRID
  head/sys/arm/conf/ZEDBOARD

Modified: head/sys/arm/conf/ALPINE
==============================================================================
--- head/sys/arm/conf/ALPINE	Thu Feb 11 17:57:42 2016	(r295539)
+++ head/sys/arm/conf/ALPINE	Thu Feb 11 18:01:10 2016	(r295540)
@@ -37,6 +37,7 @@ options 	DDB			#Enable the kernel debugg
 
 # Interrupt controller
 device		gic
+options 	ARM_INTRNG
 
 # Pseudo devices
 device		loop

Modified: head/sys/arm/conf/ARMADA38X
==============================================================================
--- head/sys/arm/conf/ARMADA38X	Thu Feb 11 17:57:42 2016	(r295539)
+++ head/sys/arm/conf/ARMADA38X	Thu Feb 11 18:01:10 2016	(r295540)
@@ -62,6 +62,7 @@ device		pci
 
 # Interrupt controllers
 device		gic
+options 	ARM_INTRNG
 
 # Timers
 device		mpcore_timer

Modified: head/sys/arm/conf/EXYNOS5.common
==============================================================================
--- head/sys/arm/conf/EXYNOS5.common	Thu Feb 11 17:57:42 2016	(r295539)
+++ head/sys/arm/conf/EXYNOS5.common	Thu Feb 11 18:01:10 2016	(r295540)
@@ -87,6 +87,8 @@ device		dwmmc
 
 # Interrupt controller
 device		gic
+options 	ARM_INTRNG
+
 # ARM Generic Timer
 device		generic_timer
 

Modified: head/sys/arm/conf/ODROIDC1
==============================================================================
--- head/sys/arm/conf/ODROIDC1	Thu Feb 11 17:57:42 2016	(r295539)
+++ head/sys/arm/conf/ODROIDC1	Thu Feb 11 18:01:10 2016	(r295540)
@@ -26,6 +26,7 @@ options 	SMP			# Enable multiple cores
 
 # Interrupt controller
 device		gic
+options 	ARM_INTRNG
 
 options 	FDT_DTB_STATIC
 makeoptions	FDT_DTS_FILE=odroidc1.dts

Modified: head/sys/arm/conf/PANDABOARD
==============================================================================
--- head/sys/arm/conf/PANDABOARD	Thu Feb 11 17:57:42 2016	(r295539)
+++ head/sys/arm/conf/PANDABOARD	Thu Feb 11 18:01:10 2016	(r295540)
@@ -30,8 +30,6 @@ hints		"PANDABOARD.hints"
 include 	"std.armv6"
 include 	"../ti/omap4/pandaboard/std.pandaboard"
 
-options		ARM_INTRNG		# new interrupt framework
-
 options 	HZ=100
 options 	SCHED_ULE		# ULE scheduler
 options 	PLATFORM
@@ -62,6 +60,8 @@ options 	DDB			# Enable the kernel debug
 device		fdt_pinctrl
 # Interrupt controller
 device		gic
+options 	ARM_INTRNG
+
 # ARM MPCore timer
 device		mpcore_timer
 

Modified: head/sys/arm/conf/RK3188
==============================================================================
--- head/sys/arm/conf/RK3188	Thu Feb 11 17:57:42 2016	(r295539)
+++ head/sys/arm/conf/RK3188	Thu Feb 11 18:01:10 2016	(r295540)
@@ -47,6 +47,8 @@ options 	ROOTDEVNAME=\"ufs:/dev/mmcsd0\"
 
 # Interrupt controller
 device		gic
+options 	ARM_INTRNG
+
 # ARM MPCore timer
 device		mpcore_timer
 

Modified: head/sys/arm/conf/SOCKIT.common
==============================================================================
--- head/sys/arm/conf/SOCKIT.common	Thu Feb 11 17:57:42 2016	(r295539)
+++ head/sys/arm/conf/SOCKIT.common	Thu Feb 11 18:01:10 2016	(r295540)
@@ -53,6 +53,8 @@ options 	INVARIANT_SUPPORT	# Extra sanit
 
 # Interrupt controller
 device		gic
+options 	ARM_INTRNG
+
 # ARM MPCore timer
 device		mpcore_timer
 

Modified: head/sys/arm/conf/VIRT
==============================================================================
--- head/sys/arm/conf/VIRT	Thu Feb 11 17:57:42 2016	(r295539)
+++ head/sys/arm/conf/VIRT	Thu Feb 11 18:01:10 2016	(r295540)
@@ -46,6 +46,8 @@ options 	INVARIANT_SUPPORT	# Extra sanit
 
 # Interrupt controller
 device		gic
+options 	ARM_INTRNG
+
 # ARM Generic Timer
 device		generic_timer
 

Modified: head/sys/arm/conf/VSATV102
==============================================================================
--- head/sys/arm/conf/VSATV102	Thu Feb 11 17:57:42 2016	(r295539)
+++ head/sys/arm/conf/VSATV102	Thu Feb 11 18:01:10 2016	(r295540)
@@ -26,6 +26,7 @@ options 	SMP			# Enable multiple cores
 
 # Interrupt controller
 device		gic
+options 	ARM_INTRNG
 
 options 	FDT_DTB_STATIC
 makeoptions	FDT_DTS_FILE=vsatv102-m6.dts

Modified: head/sys/arm/conf/VYBRID
==============================================================================
--- head/sys/arm/conf/VYBRID	Thu Feb 11 17:57:42 2016	(r295539)
+++ head/sys/arm/conf/VYBRID	Thu Feb 11 18:01:10 2016	(r295540)
@@ -62,6 +62,8 @@ options 	NO_SWAPPING
 
 # Interrupt controller
 device		gic
+options 	ARM_INTRNG
+
 # ARM MPCore timer
 device		mpcore_timer
 

Modified: head/sys/arm/conf/ZEDBOARD
==============================================================================
--- head/sys/arm/conf/ZEDBOARD	Thu Feb 11 17:57:42 2016	(r295539)
+++ head/sys/arm/conf/ZEDBOARD	Thu Feb 11 18:01:10 2016	(r295540)
@@ -52,6 +52,8 @@ options 	ROOTDEVNAME=\"ufs:mmcsd0s2a\"
 
 # Interrupt controller
 device		gic
+options 	ARM_INTRNG
+
 # Cache controller
 device		pl310			# PL310 L2 cache controller
 # ARM MPCore timer