From: Jaehoon Chung <jh80.chung@samsung.com>
Date: Wed, 11 Sep 2019 00:13:18 +0000 (+0900)
Subject: rpi4: boot: add kernel name in config.txt
X-Git-Tag: submit/tizen/20200402.094258~54
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=eaf86ca220ae0448917026ce1a7259fd65c355fa;p=platform%2Fkernel%2Flinux-rpi.git

rpi4: boot: add kernel name in config.txt

Add kernel name in config.txt.

Change-Id: Iff5b38da853a54296c2eef7b6d5eaf24761b22cf
Signed-off-by: Jaehoon Chung <jh80.chung@samsung.com>
---

diff --git a/rpi4/boot/config.txt b/rpi4/boot/config.txt
index f7c2b7a..e829841 100644
--- a/rpi4/boot/config.txt
+++ b/rpi4/boot/config.txt
@@ -59,6 +59,7 @@ dtparam=audio=on
 # Enable DRM VC4 V3D driver on top of the dispmanx display stack
 dtoverlay=vc4-fkms-v3d
 max_framebuffers=2
+kernel=zImage
 
 [all]
 #dtoverlay=vc4-fkms-v3d