diff --git a/tool/microkit/src/sel4.rs b/tool/microkit/src/sel4.rs
index 4c258e3c9..9646142e8 100644
--- a/tool/microkit/src/sel4.rs
+++ b/tool/microkit/src/sel4.rs
@@ -573,15 +573,15 @@ impl X86IoapicIrqTrigger {
 #[repr(u64)]
 #[derive(Debug, Copy, Clone, Eq, PartialEq)]
 pub enum X86IoapicIrqPolarity {
-    LowTriggered = 0,
-    HighTriggered = 1,
+    HighTriggered = 0,
+    LowTriggered = 1,
 }
 
 impl From<u64> for X86IoapicIrqPolarity {
     fn from(item: u64) -> X86IoapicIrqPolarity {
         match item {
-            0 => X86IoapicIrqPolarity::LowTriggered,
-            1 => X86IoapicIrqPolarity::HighTriggered,
+            0 => X86IoapicIrqPolarity::HighTriggered,
+            1 => X86IoapicIrqPolarity::LowTriggered,
             _ => panic!("Unknown x86 IOAPIC IRQ polarity {item:x}"),
         }
     }