diff --git a/ports_module/cortex_a35/ac6/inc/txm_module_port.h b/ports_module/cortex_a35/ac6/inc/txm_module_port.h
index cbe6b8e37..51eb13621 100644
--- a/ports_module/cortex_a35/ac6/inc/txm_module_port.h
+++ b/ports_module/cortex_a35/ac6/inc/txm_module_port.h
@@ -8,6 +8,7 @@
  *
  * SPDX-License-Identifier: MIT
  **************************************************************************/
+// Portions of this file were generated with AI assistance.
 
 
 /**************************************************************************/
@@ -114,9 +115,11 @@ The following extensions must also be defined in tx_port.h:
 #define TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS    0x00000004
 
 
-/* Define the supported options for this module.   */
+/* Define the supported options for this module. Module threads run at the Module Manager's
+   exception level and call it directly, so this port cannot isolate a module and refuses
+   user mode and memory protection at load.  */
 
-#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS    (TXM_MODULE_USER_MODE | TXM_MODULE_MEMORY_PROTECTION | TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
+#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS    (TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
 #define TXM_MODULE_MANAGER_REQUIRED_OPTIONS     0
 
 
@@ -255,8 +258,9 @@ typedef struct TXM_MODULE_MANAGER_MEMORY_FAULT_INFO_STRUCT
 
 /* Define the macros to perform port-specific checks when passing pointers to the kernel.  */
 
-/* Define macro to make sure object is inside the module's data.  */
-#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_SUCCESS)
+/* Define macro to make sure object is inside the module's data. No module on this port has
+   memory protection, so this is never asked; any range is refused if it is.  */
+#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_FALSE)
 
 /* Define some internal prototypes to this module port.  */
 
diff --git a/ports_module/cortex_a35/gnu/inc/txm_module_port.h b/ports_module/cortex_a35/gnu/inc/txm_module_port.h
index e5654cde7..9daa63083 100644
--- a/ports_module/cortex_a35/gnu/inc/txm_module_port.h
+++ b/ports_module/cortex_a35/gnu/inc/txm_module_port.h
@@ -8,6 +8,7 @@
  *
  * SPDX-License-Identifier: MIT
  **************************************************************************/
+// Portions of this file were generated with AI assistance.
 
 
 /**************************************************************************/
@@ -114,9 +115,11 @@ The following extensions must also be defined in tx_port.h:
 #define TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS    0x00000004
 
 
-/* Define the supported options for this module.   */
+/* Define the supported options for this module. Module threads run at the Module Manager's
+   exception level and call it directly, so this port cannot isolate a module and refuses
+   user mode and memory protection at load.  */
 
-#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS    (TXM_MODULE_USER_MODE | TXM_MODULE_MEMORY_PROTECTION | TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
+#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS    (TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
 #define TXM_MODULE_MANAGER_REQUIRED_OPTIONS     0
 
 
@@ -255,8 +258,9 @@ typedef struct TXM_MODULE_MANAGER_MEMORY_FAULT_INFO_STRUCT
 
 /* Define the macros to perform port-specific checks when passing pointers to the kernel.  */
 
-/* Define macro to make sure object is inside the module's data.  */
-#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_SUCCESS)
+/* Define macro to make sure object is inside the module's data. No module on this port has
+   memory protection, so this is never asked; any range is refused if it is.  */
+#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_FALSE)
 
 /* Define some internal prototypes to this module port.  */
 
diff --git a/ports_module/cortex_a35_smp/ac6/inc/txm_module_port.h b/ports_module/cortex_a35_smp/ac6/inc/txm_module_port.h
index 97930b4f6..35ec29c45 100644
--- a/ports_module/cortex_a35_smp/ac6/inc/txm_module_port.h
+++ b/ports_module/cortex_a35_smp/ac6/inc/txm_module_port.h
@@ -8,6 +8,7 @@
  *
  * SPDX-License-Identifier: MIT
  **************************************************************************/
+// Portions of this file were generated with AI assistance.
 
 
 /**************************************************************************/
@@ -114,9 +115,11 @@ The following extensions must also be defined in tx_port.h:
 #define TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS    0x00000004
 
 
-/* Define the supported options for this module.   */
+/* Define the supported options for this module. Module threads run at the Module Manager's
+   exception level and call it directly, so this port cannot isolate a module and refuses
+   user mode and memory protection at load.  */
 
-#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS    (TXM_MODULE_USER_MODE | TXM_MODULE_MEMORY_PROTECTION | TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
+#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS    (TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
 #define TXM_MODULE_MANAGER_REQUIRED_OPTIONS     0
 
 
@@ -250,8 +253,9 @@ typedef struct TXM_MODULE_MANAGER_MEMORY_FAULT_INFO_STRUCT
 
 /* Define the macros to perform port-specific checks when passing pointers to the kernel.  */
 
-/* Define macro to make sure object is inside the module's data.  */
-#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_SUCCESS)
+/* Define macro to make sure object is inside the module's data. No module on this port has
+   memory protection, so this is never asked; any range is refused if it is.  */
+#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_FALSE)
 
 /* Define some internal prototypes to this module port.  */
 
diff --git a/ports_module/cortex_a35_smp/gnu/inc/txm_module_port.h b/ports_module/cortex_a35_smp/gnu/inc/txm_module_port.h
index 99e7d0569..c92ea9ce5 100644
--- a/ports_module/cortex_a35_smp/gnu/inc/txm_module_port.h
+++ b/ports_module/cortex_a35_smp/gnu/inc/txm_module_port.h
@@ -8,6 +8,7 @@
  *
  * SPDX-License-Identifier: MIT
  **************************************************************************/
+// Portions of this file were generated with AI assistance.
 
 
 /**************************************************************************/
@@ -114,9 +115,11 @@ The following extensions must also be defined in tx_port.h:
 #define TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS    0x00000004
 
 
-/* Define the supported options for this module.   */
+/* Define the supported options for this module. Module threads run at the Module Manager's
+   exception level and call it directly, so this port cannot isolate a module and refuses
+   user mode and memory protection at load.  */
 
-#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS    (TXM_MODULE_USER_MODE | TXM_MODULE_MEMORY_PROTECTION | TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
+#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS    (TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
 #define TXM_MODULE_MANAGER_REQUIRED_OPTIONS     0
 
 
@@ -250,8 +253,9 @@ typedef struct TXM_MODULE_MANAGER_MEMORY_FAULT_INFO_STRUCT
 
 /* Define the macros to perform port-specific checks when passing pointers to the kernel.  */
 
-/* Define macro to make sure object is inside the module's data.  */
-#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_SUCCESS)
+/* Define macro to make sure object is inside the module's data. No module on this port has
+   memory protection, so this is never asked; any range is refused if it is.  */
+#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_FALSE)
 
 /* Define some internal prototypes to this module port.  */