diff options
Diffstat (limited to '')
| -rw-r--r-- | kernel/configs/tiny.config | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/kernel/configs/tiny.config b/kernel/configs/tiny.config new file mode 100644 index 0000000000..00009f7d08 --- /dev/null +++ b/kernel/configs/tiny.config @@ -0,0 +1,10 @@ +# CONFIG_CC_OPTIMIZE_FOR_PERFORMANCE is not set +CONFIG_CC_OPTIMIZE_FOR_SIZE=y +# CONFIG_KERNEL_GZIP is not set +# CONFIG_KERNEL_BZIP2 is not set +# CONFIG_KERNEL_LZMA is not set +CONFIG_KERNEL_XZ=y +# CONFIG_KERNEL_LZO is not set +# CONFIG_KERNEL_LZ4 is not set +CONFIG_SLUB=y +CONFIG_SLUB_TINY=y |