The ConfigCoreIPC.cmake should be only used to config the TFM core to IPC model. Any test should be disabled for it.
Description
Description
The ConfigCoreIPC.cmake should be only used to config the TFM core to IPC model. Any test should be disabled for it.