use GZIP compressed kernels by default on Raspberry PI

1 files changed, 9 insertions, 0 deletions

diff --git a/Config.in b/Config.in
index 8527383b0..2209b5c62 100644
--- a/Config.in
+++ b/Config.in
@@ -122,8 +122,17 @@ config ADK_KERNEL_VERSION
 	default "3.4.51" if ADK_KERNEL_VERSION_3_4_51
 	help
 
+config ADK_KERNEL_COMP_GZIP
+	depends on ADK_TARGET_SYSTEM_RASPBERRY_PI
+        boolean
+        select ADK_KERNEL_RD_GZIP
+        select ADK_KERNEL_KERNEL_GZIP
+        select ADK_KERNEL_INITRAMFS_COMPRESSION_GZIP
+	default y
+
 choice
 prompt "Kernel Compression"
+depends on !ADK_TARGET_SYSTEM_RASPBERRY_PI
 config ADK_KERNEL_COMP_XZ
 	prompt "use XZ compression"
 	boolean