gpu: Allow choosing the DRM device in waydroid.cfg

diff --git a/tools/helpers/gpu.py b/tools/helpers/gpu.py
index 5db810fb87eb9c430ef5a89a03caedda5b1c90be..6d8ab20d461bca198065868834261addb3419195 100644 (file)
--- a/tools/helpers/gpu.py
+++ b/tools/helpers/gpu.py
@@ -17,6 +17,16 @@ def getCardFromRender(args, dev):
         return ""
 
 def getDriNode(args):
         return ""
 
 def getDriNode(args):

+    cfg = tools.config.load(args)
+    node = cfg["waydroid"].get("drm_device")
+    if node:
+        if not os.path.exists(node):
+            raise OSError("The specified drm_device {} does not exist".format(node))
+        renderDev = os.path.basename(node)
+        if getKernelDriver(args, renderDev) not in unsupported:
+            return node, getCardFromRender(args, renderDev)
+        return "", ""
+

     for node in glob.glob("/dev/dri/renderD*"):
         renderDev = os.path.basename(node)
         if getKernelDriver(args, renderDev) not in unsupported:
     for node in glob.glob("/dev/dri/renderD*"):
         renderDev = os.path.basename(node)
         if getKernelDriver(args, renderDev) not in unsupported: