diff options
Diffstat (limited to 'kernel-armv7hl-lpae.config')
| -rw-r--r-- | kernel-armv7hl-lpae.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel-armv7hl-lpae.config b/kernel-armv7hl-lpae.config index 0dd7e0404..d23f7ecf1 100644 --- a/kernel-armv7hl-lpae.config +++ b/kernel-armv7hl-lpae.config @@ -4270,6 +4270,7 @@ CONFIG_PPS_CLIENT_LDISC=m # CONFIG_PPS_DEBUG is not set CONFIG_PPS=m CONFIG_PPTP=m +# CONFIG_PREEMPTIRQ_EVENTS is not set # CONFIG_PREEMPT is not set # CONFIG_PREEMPT_NONE is not set CONFIG_PREEMPT_VOLUNTARY=y |