1 |
# |
# |
2 |
# Automatically generated file; DO NOT EDIT. |
# Automatically generated file; DO NOT EDIT. |
3 |
# Linux/x86_64 4.19.13 Kernel Configuration |
# Linux/x86_64 4.19.14 Kernel Configuration |
4 |
# |
# |
5 |
|
|
6 |
# |
# |
7 |
# Compiler: gcc (Mageia 8.2.1-0.20181228.1.mga7) 8.2.1 20181228 |
# Compiler: gcc (Mageia 8.2.1-0.20190104.2.mga7) 8.2.1 20190104 |
8 |
# |
# |
9 |
CONFIG_CC_IS_GCC=y |
CONFIG_CC_IS_GCC=y |
10 |
CONFIG_GCC_VERSION=80201 |
CONFIG_GCC_VERSION=80201 |
869 |
# |
# |
870 |
# CONFIG_GCOV_KERNEL is not set |
# CONFIG_GCOV_KERNEL is not set |
871 |
CONFIG_ARCH_HAS_GCOV_PROFILE_ALL=y |
CONFIG_ARCH_HAS_GCOV_PROFILE_ALL=y |
872 |
CONFIG_PLUGIN_HOSTCC="" |
CONFIG_PLUGIN_HOSTCC="g++" |
873 |
CONFIG_HAVE_GCC_PLUGINS=y |
CONFIG_HAVE_GCC_PLUGINS=y |
874 |
|
# CONFIG_GCC_PLUGINS is not set |
875 |
CONFIG_RT_MUTEXES=y |
CONFIG_RT_MUTEXES=y |
876 |
CONFIG_BASE_SMALL=0 |
CONFIG_BASE_SMALL=0 |
877 |
CONFIG_MODULES=y |
CONFIG_MODULES=y |
6807 |
# USB Type-C Alternate Mode drivers |
# USB Type-C Alternate Mode drivers |
6808 |
# |
# |
6809 |
CONFIG_TYPEC_DP_ALTMODE=m |
CONFIG_TYPEC_DP_ALTMODE=m |
6810 |
|
CONFIG_USB_ROLE_SWITCH=m |
6811 |
CONFIG_USB_ROLES_INTEL_XHCI=m |
CONFIG_USB_ROLES_INTEL_XHCI=m |
6812 |
# CONFIG_USB_LED_TRIG is not set |
# CONFIG_USB_LED_TRIG is not set |
6813 |
CONFIG_USB_ULPI_BUS=m |
CONFIG_USB_ULPI_BUS=m |
|
CONFIG_USB_ROLE_SWITCH=m |
|
6814 |
CONFIG_UWB=m |
CONFIG_UWB=m |
6815 |
CONFIG_UWB_HWA=m |
CONFIG_UWB_HWA=m |
6816 |
CONFIG_UWB_WHCI=m |
CONFIG_UWB_WHCI=m |