d/freebsd-skq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Enable ARM_INTRNG on all kernel configs where we use the Generic Interrupt

Browse Source 
Controller.

Sponsored by:	ABT Systems Ltd
This commit is contained in:
andrew 2016-02-11 18:01:10 +00:00
parent 4f0a0f6221
commit 36b909cb08
11 changed files with 18 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
sys/arm/conf/ALPINE
View File

@ -37,6 +37,7 @@ options DDB #Enable the kernel debugger
# Interrupt controller
device gic
options ARM_INTRNG
# Pseudo devices
device loop

1
sys/arm/conf/ARMADA38X
View File

@ -62,6 +62,7 @@ device pci
# Interrupt controllers
device gic
options ARM_INTRNG
# Timers
device mpcore_timer

2
sys/arm/conf/EXYNOS5.common
View File

@ -87,6 +87,8 @@ device dwmmc
# Interrupt controller
device gic
options ARM_INTRNG
# ARM Generic Timer
device generic_timer

1
sys/arm/conf/ODROIDC1
View File

@ -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

4
sys/arm/conf/PANDABOARD
View File

@ -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 debugger
device fdt_pinctrl
# Interrupt controller
device gic
options ARM_INTRNG
# ARM MPCore timer
device mpcore_timer

2
sys/arm/conf/RK3188
View File

@ -47,6 +47,8 @@ options ROOTDEVNAME=\"ufs:/dev/mmcsd0\"
# Interrupt controller
device gic
options ARM_INTRNG
# ARM MPCore timer
device mpcore_timer

2
sys/arm/conf/SOCKIT.common
View File

@ -53,6 +53,8 @@ options INVARIANT_SUPPORT # Extra sanity checks of internal structures, require
# Interrupt controller
device gic
options ARM_INTRNG
# ARM MPCore timer
device mpcore_timer

2
sys/arm/conf/VIRT
View File

@ -46,6 +46,8 @@ options INVARIANT_SUPPORT # Extra sanity checks of internal structures, require
# Interrupt controller
device gic
options ARM_INTRNG
# ARM Generic Timer
device generic_timer

1
sys/arm/conf/VSATV102
View File

@ -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

2
sys/arm/conf/VYBRID
View File

@ -62,6 +62,8 @@ options NO_SWAPPING
# Interrupt controller
device gic
options ARM_INTRNG
# ARM MPCore timer
device mpcore_timer

2
sys/arm/conf/ZEDBOARD
View File

@ -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