From 5fce8330e5965b32fcbc52368063a5247bac3868 Mon Sep 17 00:00:00 2001 From: Jaehoon Chung 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 --- 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