From 11d6b47192719111105b230c038c7aac11ea8ef7 Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Mon, 6 Jan 2025 15:03:30 +1100
Subject: [PATCH] tool: improve error message

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
---
 tool/microkit/src/sdf.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/microkit/src/sdf.rs b/tool/microkit/src/sdf.rs
index a2316e47..8df239e3 100644
--- a/tool/microkit/src/sdf.rs
+++ b/tool/microkit/src/sdf.rs
@@ -416,7 +416,7 @@ impl ProtectionDomain {
             match config.arm_smc {
                 Some(smc_allowed) => {
                     if !smc_allowed {
-                        return Err(value_error(xml_sdf, node, "Using SMC support without ARM SMC forwarding support enabled for this platform".to_string()));
+                        return Err(value_error(xml_sdf, node, "Using SMC support without ARM SMC forwarding support enabled in the kernel for this platform".to_string()));
                     }
                 }
                 None => {