ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

lx_emul: shadow the ARM-specific asm/domain.h file

Browse Source 
Fix genodelabs/genode#4938
This commit is contained in:
Stefan Kalkowski 2023-06-28 15:03:09 +02:00 committed by Norman Feske
parent 720d2847b6
commit b15fd68b60
1 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/domain.h Normal file
View File

@ -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