From: Fedora Kernel Team <kernel-t...@fedoraproject.org>
[redhat] New configs in kernel/trace
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: RV_MON_SCHED [=n]
Type : bool
Defined at kernel/trace/rv/monitors/sched/Kconfig:3
Prompt: sched monitor
Depends on: FTRACE [=y] && RV [=y]
Location:
-> Kernel hacking
-> Tracers (FTRACE [=y])
-> Runtime Verification (RV [=y])
-> sched monitor (RV_MON_SCHED [=n])
Commit: cb85c660fcd4 (rv: Add option for nested monitors and include sched)
---
Signed-off-by: Fedora Kernel Team <kernel-t...@fedoraproject.org>
diff --git a/redhat/configs/pending-rhel/generic/CONFIG_RV_MON_SCHED
b/redhat/configs/pending-rhel/generic/CONFIG_RV_MON_SCHED
deleted file mode 100644
index blahblah..blahblah 0
--- a/redhat/configs/pending-rhel/generic/CONFIG_RV_MON_SCHED
+++ /dev/null
@@ -1,15 +0,0 @@
-# Symbol: RV_MON_SCHED [=n]
-# Type : bool
-# Defined at kernel/trace/rv/monitors/sched/Kconfig:3
-# Prompt: sched monitor
-# Depends on: FTRACE [=y] && RV [=y]
-# Location:
-# -> Kernel hacking
-# -> Tracers (FTRACE [=y])
-# -> Runtime Verification (RV [=y])
-# -> sched monitor (RV_MON_SCHED [=n])
-#
-#
-#
-# Commit: cb85c660fcd4 (rv: Add option for nested monitors and include sched)
-# CONFIG_RV_MON_SCHED is not set
diff --git a/redhat/configs/rhel/generic/CONFIG_RV_MON_SCHED
b/redhat/configs/rhel/generic/CONFIG_RV_MON_SCHED
new file mode 100644
index blahblah..blahblah 100644
--- /dev/null
+++ b/redhat/configs/rhel/generic/CONFIG_RV_MON_SCHED
@@ -0,0 +1 @@
+# CONFIG_RV_MON_SCHED is not set
--
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/3775
--
_______________________________________________
kernel mailing list -- kernel@lists.fedoraproject.org
To unsubscribe send an email to kernel-le...@lists.fedoraproject.org
Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/kernel@lists.fedoraproject.org
Do not reply to spam, report it:
https://pagure.io/fedora-infrastructure/new_issue
