diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-08-15 00:09:18 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-08-15 00:10:11 +0200 |
| commit | e1dda36ed949fd8272f14b022ef9ac74f3efa26a (patch) | |
| tree | b9a432507331aa8ab28deb9230ecca7cde07a930 | |
| parent | 5084a6252d15d19bb1cdb8c2bba86a6debbd3c16 (diff) | |
dashboard/config: enable UHID and USERIO
| -rw-r--r-- | dashboard/config/upstream-kasan.config | 12 | ||||
| -rw-r--r-- | dashboard/config/upstream-kmsan.config | 10 |
2 files changed, 15 insertions, 7 deletions
diff --git a/dashboard/config/upstream-kasan.config b/dashboard/config/upstream-kasan.config index c799ef8c6..c7bf74886 100644 --- a/dashboard/config/upstream-kasan.config +++ b/dashboard/config/upstream-kasan.config @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 4.18.0-rc6 Kernel Configuration +# Linux/x86 4.18.0-rc8 Kernel Configuration # # The following configs are added manually, preserve them. @@ -2832,8 +2832,12 @@ CONFIG_SERIO_LIBPS2=y # 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 -# CONFIG_GAMEPORT is not set +CONFIG_USERIO=y +CONFIG_GAMEPORT=y +CONFIG_GAMEPORT_NS558=y +# CONFIG_GAMEPORT_L4 is not set +# CONFIG_GAMEPORT_EMU10K1 is not set +# CONFIG_GAMEPORT_FM801 is not set # # Character devices @@ -3765,7 +3769,7 @@ CONFIG_SND_XEN_FRONTEND=y CONFIG_HID=y # CONFIG_HID_BATTERY_STRENGTH is not set CONFIG_HIDRAW=y -# CONFIG_UHID is not set +CONFIG_UHID=y CONFIG_HID_GENERIC=y # diff --git a/dashboard/config/upstream-kmsan.config b/dashboard/config/upstream-kmsan.config index 5f3125e54..f3e78dc0f 100644 --- a/dashboard/config/upstream-kmsan.config +++ b/dashboard/config/upstream-kmsan.config @@ -2792,8 +2792,12 @@ CONFIG_SERIO_LIBPS2=y # 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 -# CONFIG_GAMEPORT is not set +CONFIG_USERIO=y +CONFIG_GAMEPORT=y +CONFIG_GAMEPORT_NS558=y +# CONFIG_GAMEPORT_L4 is not set +# CONFIG_GAMEPORT_EMU10K1 is not set +# CONFIG_GAMEPORT_FM801 is not set # # Character devices @@ -3714,7 +3718,7 @@ CONFIG_SND_X86=y CONFIG_HID=y # CONFIG_HID_BATTERY_STRENGTH is not set CONFIG_HIDRAW=y -# CONFIG_UHID is not set +CONFIG_UHID=y CONFIG_HID_GENERIC=y # |