From 0e6c843ab0108ea9181864f003f71ce08dca4d11 Mon Sep 17 00:00:00 2001
From: Callum <c.berry@student.unsw.edu.au>
Date: Thu, 9 Jul 2026 17:03:09 +1000
Subject: [PATCH] Fix Typo

where -> whether

Signed-off-by: Callum <c.berry@student.unsw.edu.au>
---
 tool/microkit/src/sel4.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/microkit/src/sel4.rs b/tool/microkit/src/sel4.rs
index 5a566bd96..bbeddecee 100644
--- a/tool/microkit/src/sel4.rs
+++ b/tool/microkit/src/sel4.rs
@@ -295,7 +295,7 @@ pub struct Config {
     pub fpu: bool,
     /// ARM-specific, number of physical address bits
     pub arm_pa_size_bits: Option<usize>,
-    /// ARM-specific, where or not SMC forwarding is allowed
+    /// ARM-specific, whether or not SMC forwarding is allowed
     /// False if the kernel config option has not been enabled.
     /// None on any non-ARM architecture.
     pub arm_smc: Option<bool>,