CONFIG_X86_64_SMP=y
CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-rdi -fcall-saved-rsi -fcall-saved-rdx -fcall-saved-rcx -fcall-saved-r8 -fcall-saved-r9 -fcall-saved-r10 -fcall-saved-r11"
-#
-# IRQ subsystem
-#
-CONFIG_ARCH_CLOCKSOURCE_DATA=y
-CONFIG_GENERIC_TIME_VSYSCALL=y
-
#
# Timers subsystem
#
CONFIG_SPARSEMEM_VMEMMAP=y
# CONFIG_MOVABLE_NODE is not set
# CONFIG_MEMORY_HOTPLUG is not set
+# CONFIG_EFI_MIXED is not set
CONFIG_PHYSICAL_START=0x1000000
CONFIG_RANDOMIZE_BASE_MAX_OFFSET=0x40000000
CONFIG_PHYSICAL_ALIGN=0x1000000
# Memory Protections
#
CONFIG_GRKERNSEC_JIT_HARDEN=y
+CONFIG_GRKERNSEC_KSTACKOVERFLOW=y
#
# Logging Options