rpi4: boot: add kernel name in config.txt

[platform/kernel/linux-rpi.git] / rpi4 / boot / config.txt

diff --git a/rpi4/boot/config.txt b/rpi4/boot/config.txt
index f7c2b7a..e829841 100644 (file)
--- 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