From a4750b7a81c1ff2889d6d6edee5efe10343b2acf Mon Sep 17 00:00:00 2001
From: Theo Markettos <git+atm26@cl.cam.ac.uk>
Date: Fri, 8 Sep 2023 15:46:00 +0000
Subject: [PATCH] Build fixes for system-mode CHERI (tag assertion in early
 boot)

---
 meson.build                        | 10 +++++++---
 target/cheri-common/cheri_tagmem.c |  2 +-
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/meson.build b/meson.build
index 4719c7c21f..d20482b189 100644
--- a/meson.build
+++ b/meson.build
@@ -1580,8 +1580,12 @@ subdir('replay')
 subdir('hw')
 subdir('accel')
 subdir('plugins')
-subdir('bsd-user')
-subdir('linux-user')
+if 'CONFIG_BSD_USER' in config_target
+  subdir('bsd-user')
+endif
+if 'CONFIG_LINUX_USER' in config_target
+  subdir('linux-user')
+endif
 
 bsd_user_ss.add(files('gdbstub.c', 'thunk.c'))
 specific_ss.add_all(when: 'CONFIG_BSD_USER', if_true: bsd_user_ss)
@@ -1783,7 +1787,7 @@ foreach target : target_dirs
     if 'CONFIG_LINUX_USER' in config_target
       base_dir = 'linux-user'
       target_inc += include_directories('linux-user/host/' / config_host['ARCH'])
-    else
+    elif 'CONFIG_BSD_USER' in config_target
       base_dir = 'bsd-user'
       target_inc += include_directories(
         base_dir / 'host' / config_host['ARCH'],
diff --git a/target/cheri-common/cheri_tagmem.c b/target/cheri-common/cheri_tagmem.c
index e045e0534c..6d63e1254b 100644
--- a/target/cheri-common/cheri_tagmem.c
+++ b/target/cheri-common/cheri_tagmem.c
@@ -33,11 +33,11 @@
  * SUCH DAMAGE.
  */
 #include "cheri_tagmem.h"
-#include "cheri_usermem.h"
 #include "exec/exec-all.h"
 #include "exec/log.h"
 #include "exec/ramblock.h"
 #ifdef CONFIG_USER_ONLY
+#include "cheri_usermem.h"
 #include "qemu.h"
 #else
 #include "hw/boards.h"