diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-07-04 17:23:58 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2023-07-04 16:44:12 +0000 |
| commit | 79d1cd450f548684090d3b4e0fff76fd5de69526 (patch) | |
| tree | c627a7081e4c03f476bfa6970c2c9dcc7b00e04d /dashboard/config/linux/upstream-kmsan.config | |
| parent | 47f20f7129a01767bed684ccbbbf12bbbddec7c2 (diff) | |
tools/syz-kconf: split the `baseline` feature
Baseline configs were meant to be the minimum configs, however, since
they are based on defconfigs, they are still quite big.
To facilitate even smaller baseline configs, let's split the `baseline`
feature in two:
1) `baseline` only disables the addition of extra features on top of
baseline config. It's enabled for `-base.config` files automatically,
but can be also manually set, e.g. if we only want to add debug
configs on top of a defconfig.
2) `base-config` is automatically set for `-base.config` files and can
be used to disable configs in those files.
Regenerate configs.
Diffstat (limited to 'dashboard/config/linux/upstream-kmsan.config')
| -rw-r--r-- | dashboard/config/linux/upstream-kmsan.config | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/dashboard/config/linux/upstream-kmsan.config b/dashboard/config/linux/upstream-kmsan.config index 13a9e14b6..fc545f9c2 100644 --- a/dashboard/config/linux/upstream-kmsan.config +++ b/dashboard/config/linux/upstream-kmsan.config @@ -3,7 +3,7 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86_64 6.4.0-rc1 Kernel Configuration +# Linux/x86_64 6.4.0 Kernel Configuration # CONFIG_CC_VERSION_TEXT="Debian clang version 15.0.7" CONFIG_GCC_VERSION=0 @@ -323,7 +323,6 @@ CONFIG_CC_HAS_SANE_STACKPROTECTOR=y # Processor type and features # CONFIG_SMP=y -CONFIG_X86_FEATURE_NAMES=y # CONFIG_X86_X2APIC is not set CONFIG_X86_MPPARSE=y # CONFIG_GOLDFISH is not set @@ -410,7 +409,6 @@ CONFIG_X86_CPUID=y # CONFIG_X86_5LEVEL is not set CONFIG_X86_DIRECT_GBPAGES=y # CONFIG_X86_CPA_STATISTICS is not set -# CONFIG_AMD_MEM_ENCRYPT is not set CONFIG_NUMA=y CONFIG_AMD_NUMA=y CONFIG_X86_64_ACPI_NUMA=y @@ -451,8 +449,6 @@ CONFIG_PHYSICAL_START=0x1000000 CONFIG_PHYSICAL_ALIGN=0x200000 # CONFIG_ADDRESS_MASKING is not set CONFIG_HOTPLUG_CPU=y -# CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set -# CONFIG_DEBUG_HOTPLUG_CPU0 is not set # CONFIG_COMPAT_VDSO is not set CONFIG_LEGACY_VSYSCALL_XONLY=y # CONFIG_LEGACY_VSYSCALL_NONE is not set @@ -672,6 +668,11 @@ CONFIG_AS_GFNI=y CONFIG_CRASH_CORE=y CONFIG_KEXEC_CORE=y CONFIG_HOTPLUG_SMT=y +CONFIG_HOTPLUG_CORE_SYNC=y +CONFIG_HOTPLUG_CORE_SYNC_DEAD=y +CONFIG_HOTPLUG_CORE_SYNC_FULL=y +CONFIG_HOTPLUG_SPLIT_STARTUP=y +CONFIG_HOTPLUG_PARALLEL=y CONFIG_GENERIC_ENTRY=y # CONFIG_KPROBES is not set CONFIG_JUMP_LABEL=y @@ -697,6 +698,7 @@ CONFIG_GENERIC_SMP_IDLE_THREAD=y CONFIG_ARCH_HAS_FORTIFY_SOURCE=y CONFIG_ARCH_HAS_SET_MEMORY=y CONFIG_ARCH_HAS_SET_DIRECT_MAP=y +CONFIG_ARCH_HAS_CPU_FINALIZE_INIT=y CONFIG_HAVE_ARCH_THREAD_STRUCT_WHITELIST=y CONFIG_ARCH_WANTS_DYNAMIC_TASK_STRUCT=y CONFIG_ARCH_WANTS_NO_INSTR=y @@ -2925,7 +2927,6 @@ CONFIG_CAN_VCAN=y CONFIG_CAN_VXCAN=y CONFIG_CAN_NETLINK=y CONFIG_CAN_CALC_BITTIMING=y -# CONFIG_CAN_BXCAN is not set # CONFIG_CAN_CAN327 is not set # CONFIG_CAN_FLEXCAN is not set # CONFIG_CAN_GRCAN is not set @@ -8027,7 +8028,7 @@ CONFIG_CIFS_SMB_DIRECT=y CONFIG_CIFS_FSCACHE=y # CONFIG_CIFS_ROOT is not set # CONFIG_SMB_SERVER is not set -CONFIG_SMBFS_COMMON=y +CONFIG_SMBFS=y # CONFIG_CODA_FS is not set CONFIG_AFS_FS=y # CONFIG_AFS_DEBUG is not set |