Hi,

As part of the ongoing rebase effort, the following configuration
options need to be reviewed.

As a reminder, the ARK configuration flow involves moving unreviewed
configuration options from the pending directory to the ark directory.
In the diff below, options are removed from the pending directory and
added to the ark hierarchy. The final options that need to be ACKed
are the files that are being added to the ark hierarchy.

If the value for a file that is added should be changed, please reply
with a better option.

Symbol: PREEMPT_LAZY [=n]
Type : bool
Defined at kernel/Kconfig.preempt:75
Prompt: Scheduler controlled preemption model
Depends on: !ARCH_NO_PREEMPT [=n] && ARCH_HAS_PREEMPT_LAZY [=y]
Location:
-> General setup
-> Preemption Model (<choice> [=n])
-> Scheduler controlled preemption model (PREEMPT_LAZY [=n])
Selects: PREEMPT_BUILD [=y]

Commit: 7c70cb94d29c (sched: Add Lazy preemption model)

—

Signed-off-by: Fedora Kernel Team <kernel-team@fedoraproject.org>

https://gitlab.com/cki-project/kernel-ark/-/merge_requests/3512