IPC configuration build fail on AN519.
cmake -G"Unix Makefiles" -DCMAKE_BUILD_TYPE=Debug -DPROJ_CONFIG=readlink -f ../ConfigCoreIPC.cmake -DTARGET_PLATFORM=AN519 -DCOMPILER=ARMCLANG ../
IPC configuration build fail on AN519.
cmake -G"Unix Makefiles" -DCMAKE_BUILD_TYPE=Debug -DPROJ_CONFIG=readlink -f ../ConfigCoreIPC.cmake -DTARGET_PLATFORM=AN519 -DCOMPILER=ARMCLANG ../
The patch has been merged:
https://review.trustedfirmware.org/#/c/trusted-firmware-m/+/714/
close this issue.