tool: improve error message

Ivan-Velickovic · Ivan-Velickovic · commit dc10ac595d22 · 2025-01-06T15:07:57.000+11:00
Signed-off-by: Ivan-Velickovic &lt;i.velickovic@unsw.edu.au&gt;
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 => {

Original file line number	Diff line number	Diff line change
`@@ -416,7 +416,7 @@ impl ProtectionDomain {`
`416`	`416`	`match config.arm_smc {`
`417`	`417`	`Some(smc_allowed) => {`
`418`	`418`	`if !smc_allowed {`
`419`		`- return Err(value_error(xml_sdf, node, "Using SMC support without ARM SMC forwarding support enabled for this platform".to_string()));`
	`419`	`+ return Err(value_error(xml_sdf, node, "Using SMC support without ARM SMC forwarding support enabled in the kernel for this platform".to_string()));`
`420`	`420`	`}`
`421`	`421`	`}`
`422`	`422`	`None => {`