From c6a4943aae97a19cdf23210585207febca6e6ab5 Mon Sep 17 00:00:00 2001
From: Vincent Wei <vincent@minigui.org>
Date: Wed, 20 Nov 2019 10:32:59 +0800
Subject: [PATCH] add new key for dri section: exdriver

---
 etc/MiniGUI.cfg | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/etc/MiniGUI.cfg b/etc/MiniGUI.cfg
index a926c21d..b7db84de 100644
--- a/etc/MiniGUI.cfg
+++ b/etc/MiniGUI.cfg
@@ -22,10 +22,13 @@
 
 [system]
 # GAL engine and default options
+# The equivalent environment variable: MG_GAL_ENGINE
 gal_engine=pc_xvfb
+# The equivalent environment variable: MG_DEFAULTMODE
 defaultmode=800x600-16bpp
 
 # IAL engine
+# The equivalent environment variable: MG_IAL_ENGINE
 ial_engine=pc_xvfb
 mdev=/dev/input/mice
 mtype=IMPS2
@@ -44,10 +47,15 @@ pixelformat=XR24
 
 # The DRI device
 device=/dev/dri/card0
+
 # The resolution of the display
 # It is defined in dots (physical pixels) per inch
 # The default value is 96.
 dpi=96
+
+# The filename of the shared library for the external driver.
+# The equivalent environment variable: MG_GAL_DRI_DRIVER
+exdriver=libdrm_minigui.so.1
 #}}
 
 #{{ifdef _MGIAL_LIBINPUT