# Help: Enable KASan for debugging
CONFIG_KASAN=y
CONFIG_KASAN_INLINE=y
CONFIG_KERNEL_IMAGE_BASE=0x7FFFE0000000