From: David Arcari <darcari(a)redhat.com>
redhat/configs: enable CONFIG_SP5100_TCO
CONFIG_SP5100_TCO needs to be enabled for RHEL, since it's already
enabled for Fedora, just enable it for all kernels.
Signed-off-by: David Arcari <darcari(a)redhat.com>
diff --git a/redhat/configs/ark/generic/x86/x86_64/CONFIG_SP5100_TCO
b/redhat/configs/ark/generic/x86/x86_64/CONFIG_SP5100_TCO
deleted file mode 100644
index blahblah..blahblah 0
--- a/redhat/configs/ark/generic/x86/x86_64/CONFIG_SP5100_TCO
+++ /dev/null
@@ -1 +0,0 @@
-# CONFIG_SP5100_TCO is not set
diff --git a/redhat/configs/fedora/generic/x86/CONFIG_SP5100_TCO
b/redhat/configs/common/generic/x86/CONFIG_SP5100_TCO
rename from redhat/configs/fedora/generic/x86/CONFIG_SP5100_TCO
rename to redhat/configs/common/generic/x86/CONFIG_SP5100_TCO
index blahblah..blahblah 100644
--- a/redhat/configs/fedora/generic/x86/CONFIG_SP5100_TCO
+++ b/redhat/configs/common/generic/x86/CONFIG_SP5100_TCO
--
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1840