Move platform sources out to pqmx

Signed-off-by: Matthias J. Kannwischer <[email protected]>

Author: mkannwischer

nix/m55-an547-arm-none-eabi/default.nix

@@ -8,22 +8,23 @@
 
 stdenvNoCC.mkDerivation {
   pname = "mldsa-native-m55-an547";
-  version = "main-2025-09-26";
+  version = "main-2025-10-02";
 
 
   # Fetch platform files from pqmx (envs/m55-an547)
   src = fetchFromGitHub {
     owner = "slothy-optimizer";
     repo = "pqmx";
-    rev = "b58247d9771c170d3f74dbd993fa7a24d48258a8";
-    hash = "sha256-APqxI5FjSDlPMc7/mT5MNjFb5TLWad179BRaoz3TP8g=";
+    rev = "4ed493d3cf2af62a08fd9fe36c3472a0dc50ad9f";
+    hash = "sha256-jLIqwknjRwcoDeEAETlMhRqZQ5a3QGCDZX9DENelGeQ=";
   };
 
   dontBuild = true;
 
   installPhase = ''
     mkdir -p $out/platform/m55-an547/src/platform/
     cp -r envs/m55-an547/src/platform/. $out/platform/m55-an547/src/platform/
+    cp integration/*.c $out/platform/m55-an547/src/platform/
   '';
 
   setupHook = writeText "setup-hook.sh" ''

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

@@ -4,7 +4,6 @@
 
 import struct as st
 import sys
-import tempfile
 import subprocess
 
 

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

@@ -2,8 +2,6 @@
 # SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
 
 PLATFORM_PATH:=test/baremetal/platform/m55-an547
-HAL_SRC_DIR=$(PLATFORM_PATH)/src
-HAL_INC_DIR=$(PLATFORM_PATH)/inc
 
 CROSS_PREFIX=arm-none-eabi-
 CC=gcc
@@ -19,7 +17,6 @@ CFLAGS += \
 	-fdata-sections \
 	--sysroot=$(SYSROOT) \
 	-DDEVICE=\"an547\" \
-	-I$(HAL_INC_DIR) \
 	-I$(M55_AN547_PATH) \
 	-DARMCM55 \
 	-DSEMIHOSTING\
@@ -61,5 +58,5 @@ LDFLAGS += \
 	$(ARCH_FLAGS)
 
 # Extra sources to be included in test binaries
-EXTRA_SOURCES = $(wildcard $(HAL_SRC_DIR)/*.c) $(wildcard $(M55_AN547_PATH)/*.c)
+EXTRA_SOURCES = $(wildcard $(M55_AN547_PATH)/*.c)
 EXEC_WRAPPER := $(realpath $(PLATFORM_PATH)/exec_wrapper.py)