From 6f8012dd1580a669e8447317724af157cc576271 Mon Sep 17 00:00:00 2001
From: Simon Long <simon@raspberrypi.org>
Date: Mon, 14 Nov 2016 12:45:29 +0000
Subject: [PATCH] Disable splash screen when using GL driver.

---
 raspi-config | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/raspi-config b/raspi-config
index f8a8397..846ef55 100755
--- a/raspi-config
+++ b/raspi-config
@@ -1152,13 +1152,18 @@ do_gldriver() {
     if ! grep -q -E "^dtoverlay=vc4-kms-v3d" $CONFIG; then
       printf "dtoverlay=vc4-kms-v3d\n" >> $CONFIG
     fi
+    if grep -q "splash" $CMDLINE ; then
+	    sed -i $CMDLINE -e "s/ quiet//"
+	    sed -i $CMDLINE -e "s/ splash//"
+	    sed -i $CMDLINE -e "s/ plymouth.ignore-serial-consoles//"
+	fi
     cat << EOF > /etc/xdg/autostart/xcompmgr.desktop
 [Desktop Entry]
 Type=Application
 Name=xcompmgr
 Comment=Start simple compositor
 NoDisplay=true
-Exec=xcompmgr
+Exec=xcompmgr -a
 EOF
     mv /usr/share/X11/xorg.conf.d/99-fbturbo.conf /usr/share/X11/xorg.conf.d/99-fbturbo.~
     sed $CONFIG -i -e "s/^gpu_mem/#gpu_mem/"