[OS-BUILD PATCH] redhat/configs: enable CONFIG_SP5100_TCO

[David Arcari (via Email Bridge)]

From: David Arcari <darcari(a)redhat.com&gt;

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&gt;

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