Added a QEMU module execution harness for the Cortex-M3 and M4 ports (#821)dev

No Cortex-M module port ran in CI. gcc_check compiles each port's module manager
sources and links nothing that loads a module, and the host tests under
test/tx/module_manager compile a few portable sources against stubs. A module's
start-up, its kernel calls through the supervisor call, the MPU programming on context
switches and the fault path that terminates a misbehaving module were exercised only
on the Cortex-R52 FVP.

test/tx/cmake/module_qemu is a stand-alone CMake project, like test/tx/cmake/riscv, that
builds the kernel and Module Manager with a module port's headers, builds test modules
position-independent with the port's module linker script, embeds their raw images in
manager images, and registers each image with CTest. A Python runner starts it on
QEMU's MPS2 board for the core, mps2-an385 for cortex_m3 and mps2-an386 for cortex_m4
built for its FPU with the hard-float ABI, and judges the result line the image prints
over semihosting and the exit status it sets. Three images per port: a protected module
loaded, started, exercising queues, semaphores, a worker thread and the timer, stopped
and unloaded twice with its memory returned; the same module faulting on a read of
kernel memory, reported to the fault notification with its module, thread and address
and terminated, then stopped and unloaded; and the module built privileged and
unprotected, whose identical read succeeds. The fault image is also the check that
QEMU's MPU enforces at all. The new module_qemu workflow runs both ports on changes to
common/, common_modules/, the two module ports and the harness, installing QEMU from
the Ubuntu archive through the bounded apt helpers in scripts/tx_ci_common.sh.

Both ports pass 3/3 on QEMU 8.2.2 with Arm GNU 14.3.rel1, using the workflow's commands,
with zero compiler warnings; configure, build and run take 9 seconds for both. The AI
disclosure check passes. The workflow itself has not run on GitHub yet.

Assisted-by: Claude Code (Opus 5.5) <[email protected]>

1 files changed, 53 insertions, 0 deletions

diff --git a/test/tx/cmake/module_qemu/src/module_preamble.S b/test/tx/cmake/module_qemu/src/module_preamble.S
new file mode 100644
index 00000000..4991544e
--- /dev/null
+++ b/test/tx/cmake/module_qemu/src/module_preamble.S
@@ -0,0 +1,53 @@
+/***************************************************************************
+ * Copyright (c) 2026 Eclipse ThreadX contributors
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License which is available at
+ * https://opensource.org/licenses/MIT.
+ *
+ * AI Disclosure: This file was largely AI-generated by Claude Code (Opus 5.5).
+ * The AI-generated portions may be considered public domain (CC0-1.0)
+ * and not subject to the project's licence. The human contributor has
+ * reviewed and verified that the code is correct.
+ *
+ * SPDX-License-Identifier: MIT and CC0-1.0
+ **************************************************************************/
+
+@ Module preamble shared by every test module.  The property word comes from
+@ the build, as TEST_MODULE_PROPERTIES, so one source serves the protected and
+@ the privileged modules; everything else is the layout the Cortex-M module
+@ ports document.  Every module names its start function module_start.
+
+#ifndef TEST_MODULE_PROPERTIES
+#error "TEST_MODULE_PROPERTIES must be defined by the build"
+#endif
+
+    .syntax unified
+    .section .preamble, "ax"
+    .align  4
+
+    .global __txm_module_preamble
+    .global module_start
+    .global _txm_module_thread_shell_entry
+    .global _txm_module_callback_request_thread_entry
+
+__txm_module_preamble:
+    .dc.l   0x4D4F4455                                          @ Module ID
+    .dc.l   0x6                                                 @ Module major version
+    .dc.l   0x1                                                 @ Module minor version
+    .dc.l   32                                                  @ Preamble size in 32-bit words
+    .dc.l   0x7E57C0DE                                          @ Application-defined module ID
+    .dc.l   TEST_MODULE_PROPERTIES                              @ Properties: GNU, and the test's mode
+    .dc.l   _txm_module_thread_shell_entry - . - 0              @ Shell entry
+    .dc.l   module_start - . - 0                                @ Start thread entry
+    .dc.l   0                                                   @ Stop thread entry, none
+    .dc.l   1                                                   @ Start/stop thread priority
+    .dc.l   1024                                                @ Start/stop thread stack size
+    .dc.l   _txm_module_callback_request_thread_entry - . - 0   @ Callback thread entry
+    .dc.l   1                                                   @ Callback thread priority
+    .dc.l   1024                                                @ Callback thread stack size
+    .dc.l   __code_size__                                       @ Code size, from the link
+    .dc.l   __data_size__                                       @ Data size, from the link
+    .rept   16
+    .dc.l   0                                                   @ Reserved
+    .endr