diff --git a/doc/kernel/nanokernel/nanokernel_interrupts.rst b/doc/kernel/nanokernel/nanokernel_interrupts.rst
index 72b3ee99f8d..9846e94e4bd 100644
--- a/doc/kernel/nanokernel/nanokernel_interrupts.rst
+++ b/doc/kernel/nanokernel/nanokernel_interrupts.rst
@@ -131,11 +131,6 @@ to a fiber or task.
 
    See :ref:`microkernel_semaphores`.
 
-5. A kernel-supplied ISR can signal a helper task to do interrupt-related work
-   using a task IRQ that the helper task allocates.
-
-   See :ref:`microkernel_task_irqs`.
-
 When an ISR offloads work to a fiber there is typically a single
 context switch to that fiber when the ISR completes.
 Thus, interrupt-related processing usually continues almost immediately.
diff --git a/doc/kernel/overview/kernel_fundamentals.rst b/doc/kernel/overview/kernel_fundamentals.rst
index 1df354db485..43ae8e8099c 100644
--- a/doc/kernel/overview/kernel_fundamentals.rst
+++ b/doc/kernel/overview/kernel_fundamentals.rst
@@ -98,7 +98,6 @@ does not require the device driver or application code to supply an ISR at all.
 Related sections:
 
 * :ref:`Nanokernel Interrupt Services <nanokernel_interrupts>`
-* :ref:`Microkernel Interrupt Services <microkernel_task_irqs>`
 
 Clocks and Timers
 *****************