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