Baremetal: Add support for MPS3 AN547 (Cortex-M55) builds

- This adds support for testing on the MPS3 AN547 platform in qemu.
- Tests can be excuted using
`EXTRA_MAKEFILE=test/baremetal/platform/m55-an547/platform.mk --no-tuto tests all`

- Platform sources (hal, ld script, semihosting) are taken from pqmx.

- `baremetal/platform/m55-an547/platform.mk` sets the required flags
  and other build configuration.

- `test/baremetal/platform/m55-an547/exec_wrapper.py` handles passing
  inputs to the tests (e.g., required for the ACVP tests).

Signed-off-by: willieyz <[email protected]>

Author: willieyz

test/baremetal/platform/m55-an547/exec_wrapper.py

@@ -0,0 +1,48 @@
+#!/usr/bin/env python3
+# Copyright (c) The mldsa-native project authors
+# Copyright (c) The mlkem-native project authors
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+import struct as st
+import sys
+import subprocess
+import tempfile
+import os
+
+
+def err(msg, **kwargs):
+    print(msg, file=sys.stderr, **kwargs)
+
+
+binpath = sys.argv[1]
+args = sys.argv[1:]
+cmdline_offset = 0x70000
+
+arg0_offset = cmdline_offset + 4 + len(args) * 4
+
+arg_offsets = [sum(map(len, args[:i])) + i + arg0_offset for i in range(len(args))]
+
+binargs = st.pack(
+    f"<{1+len(args)}I" + "".join(f"{len(a)+1}s" for a in args),
+    len(args),
+    *arg_offsets,
+    *map(lambda x: x.encode("utf-8"), args),
+)
+
+with tempfile.NamedTemporaryFile(mode="wb", delete=False, suffix=".bin") as fd:
+    args_file = fd.name
+    fd.write(binargs)
+
+try:
+    qemu_cmd = f"qemu-system-arm -M mps3-an547 -nographic -semihosting -kernel {binpath} -device loader,file={args_file},addr=0x{cmdline_offset:x}".split()
+    result = subprocess.run(qemu_cmd, encoding="utf-8", capture_output=True)
+finally:
+    os.unlink(args_file)
+if result.returncode != 0:
+    err("FAIL!")
+    err(f"{qemu_cmd} failed with error code {result.returncode}")
+    err(result.stderr)
+    exit(1)
+
+for line in result.stdout.splitlines():
+    print(line)

test/baremetal/platform/m55-an547/platform.mk

@@ -0,0 +1,62 @@
+# Copyright (c) The mldsa-native project authors
+# Copyright (c) The mlkem-native project authors
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+PLATFORM_PATH:=test/baremetal/platform/m55-an547
+
+CROSS_PREFIX=arm-none-eabi-
+CC=gcc
+
+CFLAGS += \
+	-O3 \
+	-Wall -Wextra -Wshadow \
+	-Wno-pedantic \
+	-Wno-redundant-decls \
+	-Wno-missing-prototypes \
+	-fno-common \
+	-ffunction-sections \
+	-fdata-sections \
+	--sysroot=$(SYSROOT) \
+	-DDEVICE=an547 \
+	-I$(M55_AN547_PATH) \
+	-DARMCM55 \
+	-DSEMIHOSTING
+
+ARCH_FLAGS += \
+	-march=armv8.1-m.main+mve.fp \
+	-mcpu=cortex-m55 \
+	-mthumb \
+	-mfloat-abi=hard -mfpu=fpv4-sp-d16
+
+CFLAGS += \
+	$(ARCH_FLAGS) \
+	--specs=nosys.specs
+
+CFLAGS += $(CFLAGS_EXTRA)
+
+LDSCRIPT = $(M55_AN547_PATH)/mps3.ld
+
+LDFLAGS += \
+	-Wl,--gc-sections \
+	-Wl,--no-warn-rwx-segments \
+	-L.
+
+LDFLAGS += \
+	--specs=nosys.specs \
+	-Wl,--wrap=_open \
+	-Wl,--wrap=_close \
+	-Wl,--wrap=_read \
+	-Wl,--wrap=_write \
+	-Wl,--wrap=_fstat \
+	-Wl,--wrap=_getpid \
+	-Wl,--wrap=_isatty \
+	-Wl,--wrap=_kill \
+	-Wl,--wrap=_lseek \
+	-Wl,--wrap=main \
+	-ffreestanding \
+	-T$(LDSCRIPT) \
+	$(ARCH_FLAGS)
+
+# Extra sources to be included in test binaries
+EXTRA_SOURCES = $(wildcard $(M55_AN547_PATH)/*.c)
+EXEC_WRAPPER := $(realpath $(PLATFORM_PATH)/exec_wrapper.py)