diff --git a/debian/config/config b/debian/config/config index 804eb56ec..74d620fc0 100644 --- a/debian/config/config +++ b/debian/config/config @@ -2760,6 +2760,11 @@ CONFIG_XFS_RT=y CONFIG_EXPERIMENTAL=y CONFIG_LOCALVERSION="" # CONFIG_LOCALVERSION_AUTO is not set +## choice: Kernel compression mode +CONFIG_KERNEL_GZIP=y +# CONFIG_KERNEL_BZIP2 is not set +# CONFIG_KERNEL_LZMA is not set +## end choice CONFIG_SWAP=y CONFIG_SYSVIPC=y CONFIG_POSIX_MQUEUE=y