blob: 35ce37d149900855ec862375e403dd1849b4d4b4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
/*
* Arm SCP/MCP Software
* Copyright (c) 2020, Arm Limited and Contributors. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*
* Description:
* RTX2 v5 configuration file.
* The file must be called RTX_Config.h as it is included by the an RTX
* file in order to create a object file containing the configuration.
*/
#ifndef RTX_CONFIG_H_
#define RTX_CONFIG_H_
/* System */
#define OS_DYNAMIC_MEM_SIZE 0
#define OS_TICK_FREQ 1000 /* Hz */
#define OS_ROBIN_ENABLE 0
#define OS_ROBIN_TIMEOUT 0
#define OS_ISR_FIFO_QUEUE 16
/* Thread */
#define OS_THREAD_OBJ_MEM 0
#define OS_THREAD_NUM 1
#define OS_THREAD_DEF_STACK_NUM 0
#define OS_THREAD_USER_STACK_SIZE 0
#define OS_STACK_SIZE 200
#define OS_IDLE_THREAD_STACK_SIZE 200
#define OS_STACK_CHECK 1
#define OS_STACK_WATERMARK 0
#define OS_PRIVILEGE_MODE 1
/* Timer */
#define OS_TIMER_OBJ_MEM 0
#define OS_TIMER_NUM 1
#define OS_TIMER_THREAD_PRIO 40
#define OS_TIMER_THREAD_STACK_SIZE 200
#define OS_TIMER_CB_QUEUE 4
/* Event flags */
#define OS_EVFLAGS_OBJ_MEM 0
#define OS_EVFLAGS_NUM 1
#define OS_MUTEX_OBJ_MEM 0
#define OS_MUTEX_NUM 1
#define OS_SEMAPHORE_OBJ_MEM 0
#define OS_SEMAPHORE_NUM 1
#define OS_MEMPOOL_OBJ_MEM 0
#define OS_MEMPOOL_NUM 1
#define OS_MEMPOOL_DATA_SIZE 0
#define OS_MSGQUEUE_OBJ_MEM 0
#define OS_MSGQUEUE_NUM 1
#define OS_MSGQUEUE_DATA_SIZE 0
#endif /* RTX_CONFIG_H_ */
|
