Date: Thu, 11 Feb 2016 18:01:10 +0000 (UTC) From: Andrew Turner <andrew@FreeBSD.org> To: src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org Subject: svn commit: r295540 - head/sys/arm/conf Message-ID: <201602111801.u1BI1AhG059055@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201602111801.u1BI1AhG059055>