amiro-os / core / inc / aos_confcheck.h @ 2e69d671
History | View | Annotate | Download (2.961 KB)
1 |
/*
|
---|---|
2 |
AMiRo-OS is an operating system designed for the Autonomous Mini Robot (AMiRo) platform.
|
3 |
Copyright (C) 2016..2018 Thomas Schöpping et al.
|
4 |
|
5 |
This program is free software: you can redistribute it and/or modify
|
6 |
it under the terms of the GNU General Public License as published by
|
7 |
the Free Software Foundation, either version 3 of the License, or
|
8 |
(at your option) any later version.
|
9 |
|
10 |
This program is distributed in the hope that it will be useful,
|
11 |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
12 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
13 |
GNU General Public License for more details.
|
14 |
|
15 |
You should have received a copy of the GNU General Public License
|
16 |
along with this program. If not, see <http://www.gnu.org/licenses/>.
|
17 |
*/
|
18 |
|
19 |
/**
|
20 |
* @file aos_confcheck.h
|
21 |
* @brief Header that checks whether all necessary configurations are correct.
|
22 |
*
|
23 |
* @addtogroup aos_system
|
24 |
* @{
|
25 |
*/
|
26 |
|
27 |
#ifndef _AMIROOS_CONFCHECK_H_
|
28 |
#define _AMIROOS_CONFCHECK_H_
|
29 |
|
30 |
#include <aosconf.h> |
31 |
|
32 |
/*
|
33 |
* Kernel parameters and options
|
34 |
*/
|
35 |
|
36 |
#ifndef AMIROOS_CFG_DBG
|
37 |
#error "AMIROOS_CFG_DBG not defined in aosconf.h" |
38 |
#endif
|
39 |
|
40 |
#ifndef AMIROOS_CFG_TESTS_ENABLE
|
41 |
#error "AMIROOS_CFG_TESTS_ENABLE not defined in aosconf.h" |
42 |
#endif
|
43 |
|
44 |
#ifndef AMIROOS_CFG_PROFILE
|
45 |
#error "AMIROOS_CFG_PROFILE not defined in aosconf.h" |
46 |
#endif
|
47 |
|
48 |
#ifndef AMIROOS_CFG_MAIN_LOOP_TIMEOUT
|
49 |
#error "AMIROOS_CFG_MAIN_LOOP_TIMEOUT not defined in aosconf.h" |
50 |
#endif
|
51 |
|
52 |
/*
|
53 |
* SSSP parameters and options
|
54 |
*/
|
55 |
|
56 |
#ifndef AMIROOS_CFG_SSSP_MASTER
|
57 |
#error "AMIROOS_CFG_SSSP_MASTER not defined in aosconf.h" |
58 |
#endif
|
59 |
|
60 |
#ifndef AMIROOS_CFG_SSSP_STACK_START
|
61 |
#error "AMIROOS_CFG_SSSP_STACK_START not defined in aosconf.h" |
62 |
#endif
|
63 |
|
64 |
#ifndef AMIROOS_CFG_SSSP_STACK_END
|
65 |
#error "AMIROOS_CFG_SSSP_STACK_END not defined in aosconf.h" |
66 |
#endif
|
67 |
|
68 |
#if (AMIROOS_CFG_SSSP_STACK_START == true) && (AMIROOS_CFG_SSSP_STACK_END == true) |
69 |
#warning "AMIROOS_CFG_SSSP_STACK_START and AMIROOS_CFG_SSSP_STACK_END both enabled in aosconf.h" |
70 |
#if (AMIROOS_CFG_SSSP_MASTER != true) |
71 |
#error "AMIROOS_CFG_SSSP_MASTER must be enabled in this case" |
72 |
#endif
|
73 |
#endif
|
74 |
|
75 |
#ifndef AMIROOS_CFG_SSSP_SIGNALDELAY
|
76 |
#error "AMIROOS_CFG_SSSP_SIGNALDELAY not defined in aosconf.h" |
77 |
#endif
|
78 |
|
79 |
#ifndef AMIROOS_CFG_SSSP_SYSSYNCPERIOD
|
80 |
#error "AMIROOS_CFG_SSSP_SYSSYNCPERIOD not defined in aosconf.h" |
81 |
#endif
|
82 |
|
83 |
/*
|
84 |
* System shell options
|
85 |
*/
|
86 |
|
87 |
#ifndef AMIROOS_CFG_SHELL_ENABLE
|
88 |
#error "AMIROOS_CFG_SHELL_ENABLE not defined in aosconf.h" |
89 |
#endif
|
90 |
|
91 |
#if (AMIROOS_CFG_SHELL_ENABLE == true) |
92 |
|
93 |
#ifndef AMIROOS_CFG_SHELL_STACKSIZE
|
94 |
#error "AMIROOS_CFG_SHELL_STACKSIZE not defined in aosconf.h" |
95 |
#endif
|
96 |
|
97 |
#ifndef AMIROOS_CFG_SHELL_THREADPRIO
|
98 |
#error "AMIROOS_CFG_SHELL_THREADPRIO not defined in aosconf.h" |
99 |
#endif
|
100 |
|
101 |
#ifndef AMIROOS_CFG_SHELL_LINEWIDTH
|
102 |
#error "AMIROOS_CFG_SHELL_LINEWIDTH not defined in aosconf.h" |
103 |
#endif
|
104 |
|
105 |
#ifndef AMIROOS_CFG_SHELL_MAXARGS
|
106 |
#error "AMIROOS_CFG_SHELL_MAXARGS not defined in aosconf.h" |
107 |
#endif
|
108 |
|
109 |
#endif /* AMIROOS_CFG_SHELL_ENABLE == true */ |
110 |
|
111 |
#endif /* _AMIROOS_CONFCHECK_H_ */ |
112 |
|
113 |
/** @} */
|