From 9183870b9ea31390e952e0628dc9ee64ab2e630a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 14 Jun 2022 14:42:12 +0200
Subject: [PATCH] gpu: add information for lima driver

Issue #4559.
---
 repos/os/include/gpu/info_lima.h | 43 ++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 repos/os/include/gpu/info_lima.h

diff --git a/repos/os/include/gpu/info_lima.h b/repos/os/include/gpu/info_lima.h
new file mode 100644
index 0000000000..1906f2f4e5
--- /dev/null
+++ b/repos/os/include/gpu/info_lima.h
@@ -0,0 +1,43 @@
+/*
+ * \brief  Gpu Information Lima
+ * \author Josef Soentgen
+ * \date   2022-06-14
+ */
+
+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU Affero General Public License version 3.
+ */
+
+#ifndef _INCLUDE__GPU_INFO_LIMA_H_
+#define _INCLUDE__GPU_INFO_LIMA_H_
+
+#include <base/output.h>
+#include <session/session.h>
+#include <gpu_session/gpu_session.h>
+
+namespace Gpu {
+
+	struct Info_lima;
+} /* namespace Gpu */
+
+
+/*
+ * Gpu information
+ *
+ * Used to query information in the DRM backend
+ */
+struct Gpu::Info_lima
+{
+	/*
+	 * Size the array based on the list of params in
+	 * lima_drm.h that allow for 1:1 access.
+	 */
+	enum { MAX_LIMA_PARAMS = 4, };
+	using Param = Genode::uint64_t;
+	Param param[MAX_LIMA_PARAMS] { };
+};
+
+#endif /* _INCLUDE__GPU_INFO_LIMA_H_ */