Change in coreboot[master]: [WIP] Linuxboot: use pre-compiled kernel image

[Marcello Sylvester Bauer (Code Review)]

Marcello Sylvester Bauer has uploaded this change for review. ( https://review.coreboot.org/29450

Change subject: [WIP] Linuxboot: use pre-compiled kernel image
......................................................................

[WIP] Linuxboot: use pre-compiled kernel image

Change-Id: Idf5c778ef81decd4b0d66f90b9e8e825c3566bc5
Signed-off-by: Marcello Sylvester Bauer 
---
M payloads/external/LinuxBoot/Kconfig
M payloads/external/Makefile.inc
2 files changed, 18 insertions(+), 1 deletion(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/50/29450/1

diff --git a/payloads/external/LinuxBoot/Kconfig b/payloads/external/LinuxBoot/Kconfig
index 4225330..23536c1 100644
--- a/payloads/external/LinuxBoot/Kconfig
+++ b/payloads/external/LinuxBoot/Kconfig
@@ -45,9 +45,16 @@
    default "386" if LINUXBOOT_X86
    default "arm64" if LINUXBOOT_ARM64

+config LINUXBOOT_COMPILE_KERNEL
+	bool "Compile kernel"
+	default y
+	help
+	 Download and compile the Linux kernel
+
 choice
    prompt "Kernel release"
    default LINUXBOOT_KERNEL_STABLE
+	depends on LINUXBOOT_COMPILE_KERNEL
    help
      choose the kernel release.

@@ -90,14 +97,21 @@
    default "stable" if LINUXBOOT_KERNEL_STABLE
    default "longterm" if LINUXBOOT_KERNEL_LONGTERM
    default "custom" if LINUXBOOT_KERNEL_CUSTOM
+	depends on LINUXBOOT_COMPILE_KERNEL

config LINUXBOOT_KERNEL_CONFIGFILE
    string "Kernel config file"
    default ""
+	depends on LINUXBOOT_COMPILE_KERNEL
    help
      Add your own kernel configuration file. Otherwise a default
      minimal defconfig is used.

+config LINUXBOOT_KERNEL
+	string "path to linux kernel"
+	default ""
+	depends on !LINUXBOOT_COMPILE_KERNEL
+
 config LINUXBOOT_KERNEL_COMMANDLINE
    string "Kernel command-line"
    default ""
@@ -110,7 +124,8 @@
    default ""

config PAYLOAD_FILE
-	default "payloads/external/LinuxBoot/linuxboot/kernel-image"
+	default "payloads/external/LinuxBoot/linuxboot/kernel-image" if LINUXBOOT_COMPILE_KERNEL
+	default LINUXBOOT_KERNEL if !LINUXBOOT_COMPILE_KERNEL

choice
    prompt "Payload Mode"
diff --git a/payloads/external/Makefile.inc b/payloads/external/Makefile.inc
index cb806b7..b136cc8 100644
--- a/payloads/external/Makefile.inc
+++ b/payloads/external/Makefile.inc
@@ -286,6 +286,8 @@
 payloads/external/LinuxBoot/linuxboot/kernel/.config: linuxboot
 payloads/external/LinuxBoot/linuxboot/go/src/github.com/u-root/u-root/.git: linuxboot

+# Yabits
+
 payloads/external/Yabits/uefi/build/uefi.elf yabits:
    $(MAKE) -C payloads/external/Yabits all \
    	CC="$(CC_x86_32)" \