1# CONFIG_CC_OPTIMIZE_FOR_PERFORMANCE is not set 2CONFIG_CC_OPTIMIZE_FOR_SIZE=y 3# CONFIG_KERNEL_GZIP is not set 4# CONFIG_KERNEL_BZIP2 is not set 5# CONFIG_KERNEL_LZMA is not set 6CONFIG_KERNEL_XZ=y 7# CONFIG_KERNEL_LZO is not set 8# CONFIG_KERNEL_LZ4 is not set 9CONFIG_SLUB=y 10CONFIG_SLUB_TINY=y 11