From 97699dc7ce7ec5a35f562581e259dda6503c577a Mon Sep 17 00:00:00 2001
From: Waldemar Brodkorb <wbx@openadk.org>
Date: Tue, 9 Jul 2013 16:59:13 +0200
Subject: use GZIP compressed kernels by default on Raspberry PI

---
 Config.in | 9 +++++++++
 1 file changed, 9 insertions(+)

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
-- 
cgit v1.2.3