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/serio_n.cfg | |
| 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/serio_n.cfg')
| -rw-r--r-- | features/serio/serio_n.cfg | 15 |
1 files changed, 15 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 | ||