tool: improve error message

Signed-off-by: Ivan-Velickovic <[email protected]>
seL4 · Jan 6, 2025 · 11d6b47 · 11d6b47
1 parent 453dc2d
commit 11d6b47
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 => {