1 /*
2  * Copyright (c) 2022, Arm Limited. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  *
6  */
7 
8 #ifndef __CONFIG_PARTITION_PLATFORM_H__
9 #define __CONFIG_PARTITION_PLATFORM_H__
10 
11 #include "config_tfm.h"
12 
13 /* Size of input buffer in platform service */
14 #ifndef PLATFORM_SERVICE_INPUT_BUFFER_SIZE
15 #pragma message("PLATFORM_SERVICE_INPUT_BUFFER_SIZE is defaulted to 64. Please check and set it explicitly.")
16 #define PLATFORM_SERVICE_INPUT_BUFFER_SIZE     64
17 #endif
18 
19 /* Size of output buffer in platform service */
20 #ifndef PLATFORM_SERVICE_OUTPUT_BUFFER_SIZE
21 #pragma message("PLATFORM_SERVICE_OUTPUT_BUFFER_SIZE is defaulted to 64. Please check and set it explicitly.")
22 #define PLATFORM_SERVICE_OUTPUT_BUFFER_SIZE    64
23 #endif
24 
25 /* The stack size of the Platform Secure Partition */
26 #ifndef PLATFORM_SP_STACK_SIZE
27 #pragma message("PLATFORM_SP_STACK_SIZE is defaulted to 0x500. Please check and set it explicitly.")
28 #define PLATFORM_SP_STACK_SIZE                 0x500
29 #endif
30 
31 /* Disable Non-volatile counter module */
32 #ifndef PLATFORM_NV_COUNTER_MODULE_DISABLED
33 #pragma message("PLATFORM_NV_COUNTER_MODULE_DISABLED is defaulted to 0. Please check and set it explicitly.")
34 #define PLATFORM_NV_COUNTER_MODULE_DISABLED    0
35 #endif
36 
37 #endif /* __CONFIG_PARTITION_PLATFORM_H__ */
38