Recently, I tried to compile with a new cross-compiler (arm-none-eabi-gcc (Arm GNU Toolchain 14.3.Rel1 (Build arm-14.174)) 14.3.1 20250623,
and failed with "Unknown destination type (ARM/Thumb)".
Adding ".type [symbol name], %function" to assembly files for global symbols solves the issue in my local build framework (not pqm4). In particular, https://github.com/mupq/pqm4/blob/master/common/keccakf1600.S. I haven't looked into other assembly files in pqm4.