ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Call tfm_panic for SPM_PANIC

pull/9823/head
Oren Cohen 2019-02-27 15:28:34 +02:00
parent faf5fcf795
commit 798e3c393a
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
components/TARGET_PSA/inc/psa/service.h
View File

@ -16,15 +16,18 @@
*/
#if defined(TARGET_TFM)
#include "interface/include/psa_service.h"
#define SPM_PANIC(format, ...) \
{ \
while(1){}; \
}
#define SPM_PANIC(format, ...) tfm_panic()
#elif defined(TARGET_MBED_SPM)
#include "TARGET_MBED_SPM/psa_defs.h"
#include "TARGET_MBED_SPM/COMPONENT_SPE/spm_server.h"
#include "TARGET_MBED_SPM/COMPONENT_SPE/spm_panic.h"
#else
#error "Compiling psa service header on non-secure target is not allowed"
#endif