diff --git a/os/ports/GCC/ARMCMx/port.dox b/os/ports/GCC/ARMCMx/port.dox
index 21476507a..4f209e654 100644
--- a/os/ports/GCC/ARMCMx/port.dox
+++ b/os/ports/GCC/ARMCMx/port.dox
@@ -243,13 +243,6 @@
  * @ingroup ARMCMx
  */
 
-/**
- * @defgroup ARMCMx_NVIC NVIC Support
- * @details ARM Cortex-Mx NVIC support.
- *
- * @ingroup ARMCMx
- */
-
 /**
  * @defgroup ARMCMx_SPECIFIC Specific Implementations
  * @details Platform-specific port code.