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 9# CONFIG_SLAB is not set 10# CONFIG_SLOB_DEPRECATED is not set 11CONFIG_SLUB=y 12CONFIG_SLUB_TINY=y 13