diff options
Diffstat (limited to 'kernel-x86_64-rhel.config')
| -rw-r--r-- | kernel-x86_64-rhel.config | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/kernel-x86_64-rhel.config b/kernel-x86_64-rhel.config index bb4fa79b7..ef17d0353 100644 --- a/kernel-x86_64-rhel.config +++ b/kernel-x86_64-rhel.config @@ -2771,6 +2771,7 @@ CONFIG_KEXEC=y CONFIG_KEYBOARD_ATKBD=y # 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 @@ -4370,18 +4371,15 @@ CONFIG_PPS_CLIENT_PARPORT=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 |