From 32db267f423990cd6d72400dd0df0b7e8deb7f36 Mon Sep 17 00:00:00 2001
From: Jaehoon Chung <jh80.chung@samsung.com>
Date: Wed, 11 Sep 2019 09:13:18 +0900
Subject: [PATCH] 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>
---
 rpi4/boot/config.txt | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.7.4