amiro-os / os / core / inc / aos_confcheck.h @ cb835a3e
History | View | Annotate | Download (2.15 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 |
#ifndef _AMIROOS_CONFCHECK_H_
|
20 |
#define _AMIROOS_CONFCHECK_H_
|
21 |
|
22 |
#include <aosconf.h> |
23 |
|
24 |
/*
|
25 |
* Kernel parameters and options
|
26 |
*/
|
27 |
|
28 |
#ifndef AMIROOS_CFG_SSSP_MASTER
|
29 |
#error "AMIROOS_CFG_SSSP_MASTER not defined in aosconf.h" |
30 |
#endif
|
31 |
|
32 |
#ifndef AMIROOS_CFG_SSSP_SYSSYNCPERIOD
|
33 |
#error "AMIROOS_CFG_SSSP_SYSSYNCPERIOD not defined in aosconf.h" |
34 |
#endif
|
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 |
* System shell options
|
54 |
*/
|
55 |
|
56 |
#ifndef AMIROOS_CFG_SHELL_ENABLE
|
57 |
#error "AMIROOS_CFG_SHELL_ENABLE not defined in aosconf.h" |
58 |
#endif
|
59 |
|
60 |
#if (AMIROOS_CFG_SHELL_ENABLE == true) |
61 |
|
62 |
#ifndef AMIROOS_CFG_SHELL_STACKSIZE
|
63 |
#error "AMIROOS_CFG_SHELL_STACKSIZE not defined in aosconf.h" |
64 |
#endif
|
65 |
|
66 |
#ifndef AMIROOS_CFG_SHELL_THREADPRIO
|
67 |
#error "AMIROOS_CFG_SHELL_THREADPRIO not defined in aosconf.h" |
68 |
#endif
|
69 |
|
70 |
#ifndef AMIROOS_CFG_SHELL_LINEWIDTH
|
71 |
#error "AMIROOS_CFG_SHELL_LINEWIDTH not defined in aosconf.h" |
72 |
#endif
|
73 |
|
74 |
#ifndef AMIROOS_CFG_SHELL_MAXARGS
|
75 |
#error "AMIROOS_CFG_SHELL_MAXARGS not defined in aosconf.h" |
76 |
#endif
|
77 |
|
78 |
#endif /* AMIROOS_CFG_SHELL_ENABLE == true */ |
79 |
|
80 |
#endif /* _AMIROOS_CONFCHECK_H_ */ |