diff --git a/src/arch/arm/system.cc b/src/arch/arm/system.cc
index caef6dc8f5..a540a63c48 100644
--- a/src/arch/arm/system.cc
+++ b/src/arch/arm/system.cc
@@ -273,7 +273,7 @@ ArmSystem::haveLargeAsid64(ThreadContext *tc)
 bool
 ArmSystem::haveSemihosting(ThreadContext *tc)
 {
-    return getArmSystem(tc)->haveSemihosting();
+    return FullSystem && getArmSystem(tc)->haveSemihosting();
 }
 
 uint64_t