From 117b79e51cfd5c60bec48b0908ae16e563c23195 Mon Sep 17 00:00:00 2001
From: Vincent Wei <vincent@minigui.org>
Date: Sun, 1 Dec 2019 12:45:46 +0800
Subject: [PATCH] change default DRM driver name

---
 etc/MiniGUI.cfg | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/MiniGUI.cfg b/etc/MiniGUI.cfg
index 78d17c68..36089e80 100644
--- a/etc/MiniGUI.cfg
+++ b/etc/MiniGUI.cfg
@@ -54,8 +54,8 @@ device=/dev/dri/card0
 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
+# The equivalent environment variable: MG_GAL_DRM_DRIVER
+exdriver=libhidrmdrivers.so.0
 #}}
 
 #{{ifdef _MGIAL_LIBINPUT