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