From 40d186df2dc94bcb1b8b0204f691678b9fa87466 Mon Sep 17 00:00:00 2001
From: Gabriel Ionescu <gabriel.ionescu@enea.com>
Date: Tue, 20 Jun 2017 15:27:00 +0200
Subject: 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>
---
 features/printk/printk_n.cfg | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 features/printk/printk_n.cfg

(limited to 'features/printk/printk_n.cfg')

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
-- 
cgit v1.2.3-54-g00ecf