diff options
Diffstat (limited to 'kernel-ppc64le-rhel.config')
| -rw-r--r-- | kernel-ppc64le-rhel.config | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/kernel-ppc64le-rhel.config b/kernel-ppc64le-rhel.config index ead300854..288b24cab 100644 --- a/kernel-ppc64le-rhel.config +++ b/kernel-ppc64le-rhel.config @@ -2597,6 +2597,7 @@ CONFIG_KEXEC=y # CONFIG_KEYBOARD_ATKBD is not set # CONFIG_KEYBOARD_BCM is not set # CONFIG_KEYBOARD_CAP11XX is not set +# CONFIG_KEYBOARD_CYPRESS_SF is not set # CONFIG_KEYBOARD_DLINK_DIR685 is not set # CONFIG_KEYBOARD_GPIO is not set # CONFIG_KEYBOARD_GPIO_POLLED is not set @@ -4198,18 +4199,15 @@ CONFIG_PPS_CLIENT_LDISC=m # CONFIG_PPS_DEBUG is not set CONFIG_PPS=y CONFIG_PPTP=m -# CONFIG_PREEMPT_BEHAVIOUR is not set CONFIG_PREEMPT_DYNAMIC=y # CONFIG_PREEMPTIRQ_DELAY_TEST is not set # CONFIG_PREEMPTIRQ_EVENTS is not set +# CONFIG_PREEMPT is not set # CONFIG_PREEMPT_LL is not set -# CONFIG_PREEMPT_NONE_BEHAVIOUR is not set -CONFIG_PREEMPT_NONE=y +# CONFIG_PREEMPT_NONE is not set CONFIG_PREEMPT_NOTIFIERS=y # CONFIG_PREEMPT_TRACER is not set -CONFIG_PREEMPT_VOLUNTARY_BEHAVIOUR=y CONFIG_PREEMPT_VOLUNTARY=y -CONFIG_PREEMPT=y CONFIG_PREVENT_FIRMWARE_BUILD=y # CONFIG_PRIME_NUMBERS is not set CONFIG_PRINTER=m |