diff --git a/ports/cortex_m4/ac6/inc/tx_port.h b/ports/cortex_m4/ac6/inc/tx_port.h
index 4b634b64b..e1d21df1a 100644
--- a/ports/cortex_m4/ac6/inc/tx_port.h
+++ b/ports/cortex_m4/ac6/inc/tx_port.h
@@ -11,6 +11,7 @@
 
 // Some portions generated by Gemini (Gemini 2.0 Flash).
 // Some portions generated by Copilot (Claude Sonnet 4.6).
+// Some portions generated by Claude Code (Opus 5).
 
 
 /**************************************************************************/
@@ -594,21 +595,6 @@ unsigned int interrupt_save;
         __restore_interrupt(interrupt_save);
     }
 }
-unsigned int interrupt_save;
-
-    /* Set PendSV to invoke ThreadX scheduler.  */
-    *((volatile ULONG *) 0xE000ED04) = ((ULONG) 0x10000000);
-    if (__get_ipsr_value() == 0)
-    {
-        interrupt_save = __get_interrupt_posture();
-#ifdef TX_PORT_USE_BASEPRI
-        __set_basepri_value(0);
-#else
-        __enable_interrupts();
-#endif
-        __restore_interrupt(interrupt_save);
-    }
-}
 
 #define TX_INTERRUPT_SAVE_AREA                  UINT interrupt_save;
 #define TX_DISABLE                              interrupt_save =  __disable_interrupts();