diff --git a/utility/rtos_compatibility_layers/posix/px_cond_broadcast.c b/utility/rtos_compatibility_layers/posix/px_cond_broadcast.c
index f9c8f1510..a2babdbaa 100644
--- a/utility/rtos_compatibility_layers/posix/px_cond_broadcast.c
+++ b/utility/rtos_compatibility_layers/posix/px_cond_broadcast.c
@@ -9,6 +9,7 @@
  * SPDX-License-Identifier: MIT
  **************************************************************************/
 
+// Some portions generated by Copilot (Opus 5).
 
 /**************************************************************************/
 /**************************************************************************/
@@ -91,7 +92,7 @@ UINT                 old_threshold,dummy;
 
 
     /* Get the condition variable's internal semaphore.  */
-    /* Simply convert the condition variable control block into a semaphore  a cast */
+    /* Simply convert the condition variable control block into a semaphore using casting.  */
     semaphore_ptr = (&( cond->cond_semaphore ));
     sem_count = semaphore_ptr->tx_semaphore_suspended_count;
 
diff --git a/utility/rtos_compatibility_layers/posix/px_cond_destroy.c b/utility/rtos_compatibility_layers/posix/px_cond_destroy.c
index efa99be1b..2ae8421aa 100644
--- a/utility/rtos_compatibility_layers/posix/px_cond_destroy.c
+++ b/utility/rtos_compatibility_layers/posix/px_cond_destroy.c
@@ -9,6 +9,7 @@
  * SPDX-License-Identifier: MIT
  **************************************************************************/
 
+// Some portions generated by Copilot (Opus 5).
 
 /**************************************************************************/
 /**************************************************************************/
@@ -80,7 +81,7 @@ UINT              status;
     {
         cond->in_use = TX_FALSE;
         /* Get the condition variable's internal semaphore.  */
-        /* Simply convert the Condition variable control block into a semaphore  a cast */
+        /* Simply convert the condition variable control block into a semaphore using casting.  */
         semaphore_ptr = (&( cond->cond_semaphore ));
         status = tx_semaphore_delete(semaphore_ptr);
         if (status != TX_SUCCESS)
diff --git a/utility/rtos_compatibility_layers/posix/px_cond_init.c b/utility/rtos_compatibility_layers/posix/px_cond_init.c
index b376132db..87ea12d69 100644
--- a/utility/rtos_compatibility_layers/posix/px_cond_init.c
+++ b/utility/rtos_compatibility_layers/posix/px_cond_init.c
@@ -9,6 +9,7 @@
  * SPDX-License-Identifier: MIT
  **************************************************************************/
 
+// Some portions generated by Copilot (Opus 5).
 
 /**************************************************************************/
 /**************************************************************************/
@@ -72,7 +73,7 @@ UINT            status;
 
     cond->in_use = TX_TRUE;
     /* Get the condition variable's internal semaphore.  */
-    /* Simply convert the COndition variable control block into a semaphore  a cast */
+    /* Simply convert the condition variable control block into a semaphore using casting.  */
     semaphore_ptr = (&( cond->cond_semaphore ));
     /* Now create the internal semaphore for this cond variable */
     status = tx_semaphore_create(semaphore_ptr,"csem",0);
diff --git a/utility/rtos_compatibility_layers/posix/px_cond_signal.c b/utility/rtos_compatibility_layers/posix/px_cond_signal.c
index b1f4f2855..4b660feff 100644
--- a/utility/rtos_compatibility_layers/posix/px_cond_signal.c
+++ b/utility/rtos_compatibility_layers/posix/px_cond_signal.c
@@ -9,6 +9,7 @@
  * SPDX-License-Identifier: MIT
  **************************************************************************/
 
+// Some portions generated by Copilot (Opus 5).
 
 /**************************************************************************/
 /**************************************************************************/
@@ -84,7 +85,7 @@ TX_SEMAPHORE        *semaphore_ptr;
 UINT                 status;
 
     /* Get the condition variable's internal semaphore.  */
-    /* Simply convert the COndition variable control block into a semaphore  a cast */
+    /* Simply convert the condition variable control block into a semaphore using casting.  */
     semaphore_ptr = (&( cond->cond_semaphore ));
     if ( semaphore_ptr->tx_semaphore_suspended_count)
     {