Skip to content

Commit 3131a61

Browse files
committed
first draft of a kernel configuration transformation test
1 parent 94dab7e commit 3131a61

File tree

1 file changed

+53
-50
lines changed

1 file changed

+53
-50
lines changed

config/linux-nitropad-x.config

+53-50
Original file line numberDiff line numberDiff line change
@@ -2,17 +2,18 @@
22
# Automatically generated file; DO NOT EDIT.
33
# Linux/x86 6.1.8 Kernel Configuration
44
#
5-
CONFIG_CC_VERSION_TEXT="x86_64-linux-musl-gcc (GCC) 8.3.0"
5+
CONFIG_CC_VERSION_TEXT="gcc (GCC) 12.3.0"
66
CONFIG_CC_IS_GCC=y
7-
CONFIG_GCC_VERSION=80300
7+
CONFIG_GCC_VERSION=120300
88
CONFIG_CLANG_VERSION=0
99
CONFIG_AS_IS_GNU=y
10-
CONFIG_AS_VERSION=23200
10+
CONFIG_AS_VERSION=24100
1111
CONFIG_LD_IS_BFD=y
12-
CONFIG_LD_VERSION=23200
12+
CONFIG_LD_VERSION=24100
1313
CONFIG_LLD_VERSION=0
1414
CONFIG_CC_CAN_LINK=y
15-
CONFIG_CC_CAN_LINK_STATIC=y
15+
CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y
16+
CONFIG_CC_HAS_ASM_GOTO_TIED_OUTPUT=y
1617
CONFIG_CC_HAS_ASM_INLINE=y
1718
CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y
1819
CONFIG_PAHOLE_VERSION=0
@@ -115,7 +116,7 @@ CONFIG_PREEMPT_NONE=y
115116
# CONFIG_PREEMPT_VOLUNTARY is not set
116117
# CONFIG_PREEMPT is not set
117118
# CONFIG_PREEMPT_DYNAMIC is not set
118-
# CONFIG_SCHED_CORE is not set
119+
CONFIG_SCHED_CORE=y
119120

120121
#
121122
# CPU/Task time and stats accounting
@@ -158,6 +159,7 @@ CONFIG_CC_HAS_INT128=y
158159
CONFIG_CC_IMPLICIT_FALLTHROUGH="-Wimplicit-fallthrough=5"
159160
CONFIG_GCC11_NO_ARRAY_BOUNDS=y
160161
CONFIG_GCC12_NO_ARRAY_BOUNDS=y
162+
CONFIG_CC_NO_ARRAY_BOUNDS=y
161163
CONFIG_ARCH_SUPPORTS_INT128=y
162164
# CONFIG_CGROUPS is not set
163165
# CONFIG_CHECKPOINT_RESTORE is not set
@@ -203,12 +205,12 @@ CONFIG_EPOLL=y
203205
# CONFIG_EVENTFD is not set
204206
CONFIG_SHMEM=y
205207
# CONFIG_AIO is not set
206-
CONFIG_IO_URING=y
208+
# CONFIG_IO_URING is not set
207209
# CONFIG_ADVISE_SYSCALLS is not set
208210
CONFIG_MEMBARRIER=y
209211
# CONFIG_KALLSYMS is not set
210212
CONFIG_ARCH_HAS_MEMBARRIER_SYNC_CORE=y
211-
CONFIG_KCMP=y
213+
# CONFIG_KCMP is not set
212214
# CONFIG_RSEQ is not set
213215
CONFIG_EMBEDDED=y
214216
CONFIG_HAVE_PERF_EVENTS=y
@@ -299,7 +301,7 @@ CONFIG_BOOT_VESA_SUPPORT=y
299301
CONFIG_NR_CPUS_RANGE_BEGIN=2
300302
CONFIG_NR_CPUS_RANGE_END=512
301303
CONFIG_NR_CPUS_DEFAULT=64
302-
CONFIG_NR_CPUS=32
304+
CONFIG_NR_CPUS=24
303305
CONFIG_SCHED_CLUSTER=y
304306
CONFIG_SCHED_SMT=y
305307
CONFIG_SCHED_MC=y
@@ -337,7 +339,7 @@ CONFIG_X86_PMEM_LEGACY=y
337339
# CONFIG_MTRR is not set
338340
CONFIG_X86_UMIP=y
339341
CONFIG_CC_HAS_IBT=y
340-
# CONFIG_X86_KERNEL_IBT is not set
342+
CONFIG_X86_KERNEL_IBT=y
341343
# CONFIG_X86_INTEL_MEMORY_PROTECTION_KEYS is not set
342344
CONFIG_X86_INTEL_TSX_MODE_OFF=y
343345
# CONFIG_X86_INTEL_TSX_MODE_ON is not set
@@ -373,11 +375,13 @@ CONFIG_LEGACY_VSYSCALL_NONE=y
373375
CONFIG_HAVE_LIVEPATCH=y
374376
# end of Processor type and features
375377

378+
CONFIG_CC_HAS_SLS=y
376379
CONFIG_CC_HAS_RETURN_THUNK=y
377380
CONFIG_SPECULATION_MITIGATIONS=y
378381
CONFIG_PAGE_TABLE_ISOLATION=y
379382
# CONFIG_RETPOLINE is not set
380383
CONFIG_CPU_IBRS_ENTRY=y
384+
CONFIG_SLS=y
381385
CONFIG_ARCH_HAS_ADD_PAGES=y
382386
CONFIG_ARCH_MHP_MEMMAP_ON_MEMORY_ENABLE=y
383387

@@ -413,7 +417,7 @@ CONFIG_ACPI_HOTPLUG_CPU=y
413417
CONFIG_ACPI_THERMAL=y
414418
CONFIG_ACPI_CUSTOM_DSDT_FILE=""
415419
CONFIG_ARCH_HAS_ACPI_TABLE_UPGRADE=y
416-
CONFIG_ACPI_TABLE_UPGRADE=y
420+
# CONFIG_ACPI_TABLE_UPGRADE is not set
417421
# CONFIG_ACPI_DEBUG is not set
418422
# CONFIG_ACPI_PCI_SLOT is not set
419423
CONFIG_ACPI_CONTAINER=y
@@ -586,7 +590,7 @@ CONFIG_SOFTIRQ_ON_OWN_STACK=y
586590
CONFIG_ARCH_HAS_ELF_RANDOMIZE=y
587591
CONFIG_HAVE_ARCH_MMAP_RND_BITS=y
588592
CONFIG_HAVE_EXIT_THREAD=y
589-
CONFIG_ARCH_MMAP_RND_BITS=28
593+
CONFIG_ARCH_MMAP_RND_BITS=32
590594
CONFIG_PAGE_SIZE_LESS_THAN_64KB=y
591595
CONFIG_PAGE_SIZE_LESS_THAN_256KB=y
592596
CONFIG_HAVE_OBJTOOL=y
@@ -717,20 +721,21 @@ CONFIG_BINFMT_SCRIPT=y
717721
# CONFIG_SLAB is not set
718722
CONFIG_SLUB=y
719723
# CONFIG_SLOB is not set
720-
CONFIG_SLAB_MERGE_DEFAULT=y
721-
# CONFIG_SLAB_FREELIST_RANDOM is not set
722-
# CONFIG_SLAB_FREELIST_HARDENED is not set
724+
# CONFIG_SLAB_MERGE_DEFAULT is not set
725+
CONFIG_SLAB_FREELIST_RANDOM=y
726+
CONFIG_SLAB_FREELIST_HARDENED=y
723727
# CONFIG_SLUB_STATS is not set
724728
CONFIG_SLUB_CPU_PARTIAL=y
725729
# end of SLAB allocator options
726730

727-
# CONFIG_SHUFFLE_PAGE_ALLOCATOR is not set
731+
CONFIG_SHUFFLE_PAGE_ALLOCATOR=y
728732
# CONFIG_COMPAT_BRK is not set
729733
CONFIG_SPARSEMEM=y
730734
CONFIG_SPARSEMEM_EXTREME=y
731735
CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
732736
CONFIG_SPARSEMEM_VMEMMAP=y
733737
CONFIG_HAVE_FAST_GUP=y
738+
CONFIG_EXCLUSIVE_SYSTEM_RAM=y
734739
CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
735740
# CONFIG_MEMORY_HOTPLUG is not set
736741
CONFIG_SPLIT_PTLOCK_CPUS=4
@@ -1023,8 +1028,8 @@ CONFIG_EFI_RUNTIME_WRAPPERS=y
10231028
# CONFIG_EFI_CAPSULE_LOADER is not set
10241029
# CONFIG_EFI_TEST is not set
10251030
# CONFIG_EFI_RCI2_TABLE is not set
1026-
# CONFIG_EFI_DISABLE_PCI_DMA is not set
1027-
CONFIG_EFI_CUSTOM_SSDT_OVERLAYS=y
1031+
CONFIG_EFI_DISABLE_PCI_DMA=y
1032+
# CONFIG_EFI_CUSTOM_SSDT_OVERLAYS is not set
10281033
# CONFIG_EFI_DISABLE_RUNTIME is not set
10291034
# CONFIG_EFI_COCO_SECRET is not set
10301035
# end of EFI (Extensible Firmware Interface) Support
@@ -1053,7 +1058,7 @@ CONFIG_BLK_DEV=y
10531058
CONFIG_CDROM=y
10541059
# CONFIG_BLK_DEV_PCIESSD_MTIP32XX is not set
10551060
CONFIG_BLK_DEV_LOOP=y
1056-
CONFIG_BLK_DEV_LOOP_MIN_COUNT=8
1061+
CONFIG_BLK_DEV_LOOP_MIN_COUNT=4
10571062
# CONFIG_BLK_DEV_DRBD is not set
10581063
# CONFIG_BLK_DEV_NBD is not set
10591064
CONFIG_BLK_DEV_RAM=y
@@ -1553,7 +1558,7 @@ CONFIG_HW_CONSOLE=y
15531558
CONFIG_VT_HW_CONSOLE_BINDING=y
15541559
CONFIG_UNIX98_PTYS=y
15551560
# CONFIG_LEGACY_PTYS is not set
1556-
CONFIG_LDISC_AUTOLOAD=y
1561+
# CONFIG_LDISC_AUTOLOAD is not set
15571562

15581563
#
15591564
# Serial drivers
@@ -1611,9 +1616,9 @@ CONFIG_HW_RANDOM_INTEL=y
16111616
# CONFIG_HW_RANDOM_XIPHERA is not set
16121617
# CONFIG_APPLICOM is not set
16131618
# CONFIG_MWAVE is not set
1614-
CONFIG_DEVMEM=y
1619+
# CONFIG_DEVMEM is not set
16151620
# CONFIG_NVRAM is not set
1616-
CONFIG_DEVPORT=y
1621+
# CONFIG_DEVPORT is not set
16171622
# CONFIG_HPET is not set
16181623
# CONFIG_HANGCHECK_TIMER is not set
16191624
CONFIG_TCG_TPM=y
@@ -1929,18 +1934,13 @@ CONFIG_APERTURE_HELPERS=y
19291934
#
19301935
# end of ARM devices
19311936

1932-
CONFIG_DRM_PANEL_ORIENTATION_QUIRKS=y
1933-
19341937
#
19351938
# Frame buffer Devices
19361939
#
19371940
CONFIG_FB_CMDLINE=y
19381941
CONFIG_FB_NOTIFY=y
19391942
CONFIG_FB=y
19401943
# CONFIG_FIRMWARE_EDID is not set
1941-
CONFIG_FB_CFB_FILLRECT=y
1942-
CONFIG_FB_CFB_COPYAREA=y
1943-
CONFIG_FB_CFB_IMAGEBLIT=y
19441944
# CONFIG_FB_FOREIGN_ENDIAN is not set
19451945
# CONFIG_FB_MODE_HELPERS is not set
19461946
# CONFIG_FB_TILEBLITTING is not set
@@ -1956,7 +1956,7 @@ CONFIG_FB_CFB_IMAGEBLIT=y
19561956
# CONFIG_FB_IMSTT is not set
19571957
# CONFIG_FB_VGA16 is not set
19581958
# CONFIG_FB_VESA is not set
1959-
CONFIG_FB_EFI=y
1959+
# CONFIG_FB_EFI is not set
19601960
# CONFIG_FB_N411 is not set
19611961
# CONFIG_FB_HGA is not set
19621962
# CONFIG_FB_OPENCORES is not set
@@ -2014,11 +2014,7 @@ CONFIG_VGA_CONSOLE=y
20142014
CONFIG_DUMMY_CONSOLE=y
20152015
CONFIG_DUMMY_CONSOLE_COLUMNS=80
20162016
CONFIG_DUMMY_CONSOLE_ROWS=25
2017-
CONFIG_FRAMEBUFFER_CONSOLE=y
2018-
CONFIG_FRAMEBUFFER_CONSOLE_LEGACY_ACCELERATION=y
2019-
CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
2020-
# CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set
2021-
# CONFIG_FRAMEBUFFER_CONSOLE_DEFERRED_TAKEOVER is not set
2017+
# CONFIG_FRAMEBUFFER_CONSOLE is not set
20222018
# end of Console display driver support
20232019

20242020
# CONFIG_LOGO is not set
@@ -2806,7 +2802,6 @@ CONFIG_NLS_ISO8859_1=y
28062802
# CONFIG_NLS_MAC_TURKISH is not set
28072803
CONFIG_NLS_UTF8=y
28082804
# CONFIG_UNICODE is not set
2809-
CONFIG_IO_WQ=y
28102805
# end of File systems
28112806

28122807
#
@@ -2818,7 +2813,7 @@ CONFIG_SECURITYFS=y
28182813
# CONFIG_INTEL_TXT is not set
28192814
CONFIG_HAVE_HARDENED_USERCOPY_ALLOCATOR=y
28202815
CONFIG_HARDENED_USERCOPY=y
2821-
# CONFIG_FORTIFY_SOURCE is not set
2816+
CONFIG_FORTIFY_SOURCE=y
28222817
# CONFIG_STATIC_USERMODEHELPER is not set
28232818
# CONFIG_IMA_SECURE_AND_OR_TRUSTED_BOOT is not set
28242819
CONFIG_DEFAULT_SECURITY_DAC=y
@@ -2831,13 +2826,17 @@ CONFIG_LSM="lockdown,yama,loadpin,safesetid,integrity,bpf"
28312826
#
28322827
# Memory initialization
28332828
#
2834-
CONFIG_INIT_STACK_NONE=y
2835-
# CONFIG_GCC_PLUGIN_STRUCTLEAK_USER is not set
2836-
# CONFIG_GCC_PLUGIN_STRUCTLEAK_BYREF is not set
2837-
# CONFIG_GCC_PLUGIN_STRUCTLEAK_BYREF_ALL is not set
2829+
CONFIG_CC_HAS_AUTO_VAR_INIT_PATTERN=y
2830+
CONFIG_CC_HAS_AUTO_VAR_INIT_ZERO_BARE=y
2831+
CONFIG_CC_HAS_AUTO_VAR_INIT_ZERO=y
2832+
# CONFIG_INIT_STACK_NONE is not set
2833+
# CONFIG_INIT_STACK_ALL_PATTERN is not set
2834+
CONFIG_INIT_STACK_ALL_ZERO=y
28382835
# CONFIG_GCC_PLUGIN_STACKLEAK is not set
2839-
# CONFIG_INIT_ON_ALLOC_DEFAULT_ON is not set
2840-
# CONFIG_INIT_ON_FREE_DEFAULT_ON is not set
2836+
CONFIG_INIT_ON_ALLOC_DEFAULT_ON=y
2837+
CONFIG_INIT_ON_FREE_DEFAULT_ON=y
2838+
CONFIG_CC_HAS_ZERO_CALL_USED_REGS=y
2839+
# CONFIG_ZERO_CALL_USED_REGS is not set
28412840
# end of Memory initialization
28422841

28432842
CONFIG_RANDSTRUCT_NONE=y
@@ -3130,10 +3129,6 @@ CONFIG_UCS2_STRING=y
31303129
CONFIG_HAVE_GENERIC_VDSO=y
31313130
CONFIG_GENERIC_GETTIMEOFDAY=y
31323131
CONFIG_GENERIC_VDSO_TIME_NS=y
3133-
CONFIG_FONT_SUPPORT=y
3134-
# CONFIG_FONTS is not set
3135-
CONFIG_FONT_8x8=y
3136-
CONFIG_FONT_8x16=y
31373132
CONFIG_SG_POOL=y
31383133
CONFIG_ARCH_HAS_PMEM_API=y
31393134
CONFIG_MEMREGION=y
@@ -3199,6 +3194,8 @@ CONFIG_HAVE_ARCH_KGDB=y
31993194
CONFIG_ARCH_HAS_UBSAN_SANITIZE_ALL=y
32003195
# CONFIG_UBSAN is not set
32013196
CONFIG_HAVE_ARCH_KCSAN=y
3197+
CONFIG_HAVE_KCSAN_COMPILER=y
3198+
# CONFIG_KCSAN is not set
32023199
# end of Generic Kernel Debugging Instruments
32033200

32043201
#
@@ -3220,8 +3217,9 @@ CONFIG_HAVE_ARCH_KCSAN=y
32203217
# CONFIG_PAGE_POISONING is not set
32213218
# CONFIG_DEBUG_RODATA_TEST is not set
32223219
CONFIG_ARCH_HAS_DEBUG_WX=y
3223-
# CONFIG_DEBUG_WX is not set
3220+
CONFIG_DEBUG_WX=y
32243221
CONFIG_GENERIC_PTDUMP=y
3222+
CONFIG_PTDUMP_CORE=y
32253223
# CONFIG_DEBUG_OBJECTS is not set
32263224
CONFIG_HAVE_DEBUG_KMEMLEAK=y
32273225
# CONFIG_DEBUG_KMEMLEAK is not set
@@ -3242,7 +3240,12 @@ CONFIG_CC_HAS_KASAN_GENERIC=y
32423240
CONFIG_CC_HAS_WORKING_NOSANITIZE_ADDRESS=y
32433241
# CONFIG_KASAN is not set
32443242
CONFIG_HAVE_ARCH_KFENCE=y
3245-
# CONFIG_KFENCE is not set
3243+
CONFIG_KFENCE=y
3244+
CONFIG_KFENCE_SAMPLE_INTERVAL=100
3245+
CONFIG_KFENCE_NUM_OBJECTS=255
3246+
# CONFIG_KFENCE_DEFERRABLE is not set
3247+
# CONFIG_KFENCE_STATIC_KEYS is not set
3248+
CONFIG_KFENCE_STRESS_TEST_FAULTS=0
32463249
CONFIG_HAVE_ARCH_KMSAN=y
32473250
# end of Memory Debugging
32483251

@@ -3298,18 +3301,18 @@ CONFIG_LOCK_DEBUGGING_SUPPORT=y
32983301
# end of Lock Debugging (spinlocks, mutexes, etc...)
32993302

33003303
# CONFIG_DEBUG_IRQFLAGS is not set
3301-
# CONFIG_STACKTRACE is not set
3304+
CONFIG_STACKTRACE=y
33023305
# CONFIG_WARN_ALL_UNSEEDED_RANDOM is not set
33033306
# CONFIG_DEBUG_KOBJECT is not set
33043307

33053308
#
33063309
# Debug kernel data structures
33073310
#
3308-
# CONFIG_DEBUG_LIST is not set
3311+
CONFIG_DEBUG_LIST=y
33093312
# CONFIG_DEBUG_PLIST is not set
33103313
# CONFIG_DEBUG_SG is not set
33113314
# CONFIG_DEBUG_NOTIFIERS is not set
3312-
# CONFIG_BUG_ON_DATA_CORRUPTION is not set
3315+
CONFIG_BUG_ON_DATA_CORRUPTION=y
33133316
# CONFIG_DEBUG_MAPLE_TREE is not set
33143317
# end of Debug kernel data structures
33153318

0 commit comments

Comments
 (0)