From 5202db5404632cbb36e208defdd610bb5483e929 Mon Sep 17 00:00:00 2001 From: Alessandro Astone Date: Fri, 14 Mar 2025 21:34:12 +0100 Subject: [PATCH] gpu: Allow choosing the DRM device in waydroid.cfg --- tools/helpers/gpu.py | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/tools/helpers/gpu.py b/tools/helpers/gpu.py index 5db810f..6d8ab20 100644 --- a/tools/helpers/gpu.py +++ b/tools/helpers/gpu.py @@ -17,6 +17,16 @@ def getCardFromRender(args, dev): 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: -- 2.47.3