From 17ef7601114693dd0f3fd70440c86dcee988cd4a Mon Sep 17 00:00:00 2001
From: Serge Schneider <serge@raspberrypi.org>
Date: Fri, 7 Jun 2019 15:59:18 +0100
Subject: [PATCH] config.txt: Enable FKMS and set max_framebuffers=2 in [pi4]

---
 stage1/00-boot-files/files/config.txt | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/stage1/00-boot-files/files/config.txt b/stage1/00-boot-files/files/config.txt
index 06364c5..578d736 100644
--- a/stage1/00-boot-files/files/config.txt
+++ b/stage1/00-boot-files/files/config.txt
@@ -54,3 +54,11 @@
 
 # Enable audio (loads snd_bcm2835)
 dtparam=audio=on
+
+[pi4]
+# Enable DRM VC4 V3D driver on top of the dispmanx display stack
+dtoverlay=vc4-fkms-v3d
+max_framebuffers=2
+
+[all]
+#dtoverlay=vc4-fkms-v3d