crates/sel4-kernel-loader: Fix bug on rpi4

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Feb 5, 2024 · d6f9674 · d6f9674
1 parent 99021d1
commit d6f9674
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/crates/sel4-kernel-loader/src/plat/bcm2711/mod.rs b/crates/sel4-kernel-loader/src/plat/bcm2711/mod.rs
@@ -6,7 +6,7 @@
 
 use spin::Mutex;
 
-use sel4_config::sel4_cfg;
+use sel4_config::{sel4_cfg, sel4_cfg_bool};
 
 use crate::{arch::reset_cntvoff, drivers::bcm2835_aux_uart::Bcm2835AuxUartDevice, plat::Plat};
 
@@ -26,8 +26,10 @@ impl Plat for PlatImpl {
     }
 
     fn init_per_core() {
-        unsafe {
-            reset_cntvoff();
+        if sel4_cfg_bool!(ARM_HYPERVISOR_SUPPORT) {
+            unsafe {
+                reset_cntvoff();
+            }
         }
     }