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