diff options
author | Gabriel Ionescu <gabriel.ionescu@enea.com> | 2017-06-20 15:27:00 +0200 |
---|---|---|
committer | Adrian Dudau <adrian.dudau@enea.com> | 2017-06-21 10:59:08 +0200 |
commit | 40d186df2dc94bcb1b8b0204f691678b9fa87466 (patch) | |
tree | 8027d05c436963c3922031c775cd573d017a72ed /features/serio | |
parent | f42ac6c2248c3b1f49795abd2597856ceb1d8ce3 (diff) | |
download | enea-kernel-cache-40d186df2dc94bcb1b8b0204f691678b9fa87466.tar.gz |
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>
Diffstat (limited to 'features/serio')
-rw-r--r-- | features/serio/serio_n.cfg | 15 | ||||
-rw-r--r-- | features/serio/serio_n.scc | 4 |
2 files changed, 19 insertions, 0 deletions
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 @@ | |||
1 | # | ||
2 | # Hardware I/O ports | ||
3 | # | ||
4 | CONFIG_SERIO=n | ||
5 | CONFIG_ARCH_MIGHT_HAVE_PC_SERIO=n | ||
6 | CONFIG_SERIO_I8042=n | ||
7 | CONFIG_SERIO_SERPORT=n | ||
8 | # CONFIG_SERIO_CT82C710 is not set | ||
9 | # CONFIG_SERIO_PCIPS2 is not set | ||
10 | # CONFIG_SERIO_LIBPS2 is not set | ||
11 | # CONFIG_SERIO_RAW is not set | ||
12 | # CONFIG_SERIO_ALTERA_PS2 is not set | ||
13 | # CONFIG_SERIO_PS2MULT is not set | ||
14 | # CONFIG_SERIO_ARC_PS2 is not set | ||
15 | # CONFIG_USERIO is not set | ||
diff --git a/features/serio/serio_n.scc b/features/serio/serio_n.scc new file mode 100644 index 0000000..389bf1e --- /dev/null +++ b/features/serio/serio_n.scc | |||
@@ -0,0 +1,4 @@ | |||
1 | define KFEATURE_DESCRIPTION "Disable serio support" | ||
2 | define KFEATURE_COMPATIBILITY all | ||
3 | |||
4 | kconf non-hardware serio_n.cfg | ||