From 40d186df2dc94bcb1b8b0204f691678b9fa87466 Mon Sep 17 00:00:00 2001 From: Gabriel Ionescu Date: Tue, 20 Jun 2017 15:27:00 +0200 Subject: Kernel: Add specific ragments for disabling unnecessary features Signed-off-by: Gabriel Ionescu Signed-off-by: Adrian Dudau --- features/serio/serio_n.cfg | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 features/serio/serio_n.cfg (limited to 'features/serio/serio_n.cfg') diff --git a/features/serio/serio_n.cfg b/features/serio/serio_n.cfg new file mode 100644 index 0000000..c505fdd --- /dev/null +++ b/features/serio/serio_n.cfg @@ -0,0 +1,15 @@ +# +# Hardware I/O ports +# +CONFIG_SERIO=n +CONFIG_ARCH_MIGHT_HAVE_PC_SERIO=n +CONFIG_SERIO_I8042=n +CONFIG_SERIO_SERPORT=n +# CONFIG_SERIO_CT82C710 is not set +# CONFIG_SERIO_PCIPS2 is not set +# CONFIG_SERIO_LIBPS2 is not set +# CONFIG_SERIO_RAW is not set +# CONFIG_SERIO_ALTERA_PS2 is not set +# CONFIG_SERIO_PS2MULT is not set +# CONFIG_SERIO_ARC_PS2 is not set +# CONFIG_USERIO is not set -- cgit v1.2.3-54-g00ecf