From b15fd68b60e14ffdf3f05b0470f7fe330fbd2aaa Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Wed, 28 Jun 2023 15:03:09 +0200
Subject: [PATCH] lx_emul: shadow the ARM-specific asm/domain.h file

Fix genodelabs/genode#4938
---
 .../shadow/arch/arm/include/asm/domain.h      | 24 +++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/domain.h

diff --git a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/domain.h b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/domain.h
new file mode 100644
index 0000000000..7edf9ffe9d
--- /dev/null
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/domain.h
@@ -0,0 +1,24 @@
+/*
+ * \brief  Shadows Linux kernel arch/arm/include/asm/domain.h
+ * \author Stefan Kalkowski
+ * \date   2023-06-27
+ */
+
+/*
+ * Copyright (C) 2023 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2.
+ */
+
+/*
+ * Undefine MMU support for domain accesses, although the configuration
+ * would allow it, to prevent system accesses.
+ */
+#ifdef  CONFIG_CPU_CP15_MMU
+#undef  CONFIG_CPU_CP15_MMU
+#include_next <asm/domain.h>
+#define CONFIG_CPU_CP15_MMU
+#else
+#include_next <asm/domain.h>
+#endif