Kernel: Add specific ragments for disabling unnecessary features

Signed-off-by: Gabriel Ionescu <gabriel.ionescu@enea.com>
Signed-off-by: Adrian Dudau <adrian.dudau@enea.com>

4 files changed, 15 insertions, 0 deletions

diff --git a/features/printk/printk_n.cfg b/features/printk/printk_n.cfg
new file mode 100644
index 0000000..7f0df22
--- /dev/null
+++ b/features/printk/printk_n.cfg
@@ -0,0 +1,3 @@
+CONFIG_PRINTK=n
+CONFIG_PRINTK_NMI=n
+CONFIG_X86_VERBOSE_BOOTUP=n
diff --git a/features/printk/printk_n.scc b/features/printk/printk_n.scc
new file mode 100644
index 0000000..3068ffe
--- /dev/null
+++ b/features/printk/printk_n.scc
@@ -0,0 +1,4 @@
+define KFEATURE_DESCRIPTION "Disable options for printk support"
+define KFEATURE_COMPATIBILITY all
+
+kconf non-hardware printk_n.cfg
diff --git a/features/printk/printk_y.cfg b/features/printk/printk_y.cfg
new file mode 100644
index 0000000..0fcc9f0
--- /dev/null
+++ b/features/printk/printk_y.cfg
@@ -0,0 +1,4 @@
+CONFIG_PRINTK=y
+CONFIG_PRINTK_NMI=y
+CONFIG_EARLY_PRINTK=y
+CONFIG_X86_VERBOSE_BOOTUP=y
diff --git a/features/printk/printk_y.scc b/features/printk/printk_y.scc
new file mode 100644
index 0000000..7274316
--- /dev/null
+++ b/features/printk/printk_y.scc
@@ -0,0 +1,4 @@
+define KFEATURE_DESCRIPTION "Enable options for printk support"
+define KFEATURE_COMPATIBILITY all
+
+kconf non-hardware printk_y.cfg