|
|
@@ -5,11 +5,13 @@
|
|
|
#if !defined(__TEE_PRESENT) || (__TEE_PRESENT != 1)
|
|
|
/* __TEE_PRESENT should be defined in <Device>.h */
|
|
|
#warning "__TEE_PRESENT is not defined or equal to 1, please check!"
|
|
|
+#warning "This example require CPU TEE feature!"
|
|
|
#endif
|
|
|
|
|
|
#if !defined(__PMP_PRESENT) || (__PMP_PRESENT != 1)
|
|
|
/* __PMP_PRESENT should be defined in <Device>.h */
|
|
|
#warning "__PMP_PRESENT is not defined or equal to 1, please check!"
|
|
|
+#warning "This example require CPU PMP feature!"
|
|
|
#endif
|
|
|
|
|
|
// If define SWIRQ_INTLEVEL_HIGHER equals 1 the software interrupt will have a higher interrupt level.
|