diff --git a/libsel4/include/sel4/faults.h b/libsel4/include/sel4/faults.h
index 1817c3738..8b88cb999 100644
--- a/libsel4/include/sel4/faults.h
+++ b/libsel4/include/sel4/faults.h
@@ -29,6 +29,7 @@ seL4_getFault(seL4_MessageInfo_t tag)
                                        seL4_GetMR(seL4_CapFault_GuardMismatch_GuardFound),
                                        seL4_GetMR(seL4_CapFault_GuardMismatch_BitsFound));
 #ifdef CONFIG_HARDWARE_DEBUG_API
+    case seL4_Fault_DebugException:
         return seL4_Fault_DebugException_new(seL4_GetMR(seL4_DebugException_FaultIP),
                                              seL4_GetMR(seL4_DebugException_ExceptionReason),
                                              seL4_GetMR(seL4_DebugException_TriggerAddress),