Statistics
| Branch: | Tag: | Revision:

amiro-os / os / core / inc / aos_confcheck.h @ 933df08e

History | View | Annotate | Download (2.8 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_DBG
29
  #error "AMIROOS_CFG_DBG not defined in aosconf.h"
30
#endif
31

    
32
#ifndef AMIROOS_CFG_TESTS_ENABLE
33
  #error "AMIROOS_CFG_TESTS_ENABLE not defined in aosconf.h"
34
#endif
35

    
36
#ifndef AMIROOS_CFG_PROFILE
37
  #error "AMIROOS_CFG_PROFILE not defined in aosconf.h"
38
#endif
39

    
40
#ifndef AMIROOS_CFG_MAIN_LOOP_TIMEOUT
41
  #error "AMIROOS_CFG_MAIN_LOOP_TIMEOUT not defined in aosconf.h"
42
#endif
43

    
44
/*
45
 * SSSP parameters and options
46
 */
47

    
48
#ifndef AMIROOS_CFG_SSSP_MASTER
49
  #error "AMIROOS_CFG_SSSP_MASTER not defined in aosconf.h"
50
#endif
51

    
52
#ifndef AMIROOS_CFG_SSSP_STACK_START
53
  #error "AMIROOS_CFG_SSSP_STACK_START not defined in aosconf.h"
54
#endif
55

    
56
#ifndef AMIROOS_CFG_SSSP_STACK_END
57
  #error "AMIROOS_CFG_SSSP_STACK_END not defined in aosconf.h"
58
#endif
59

    
60
#if (AMIROOS_CFG_SSSP_STACK_START == true) && (AMIROOS_CFG_SSSP_STACK_END == true)
61
  #warning "AMIROOS_CFG_SSSP_STACK_START and AMIROOS_CFG_SSSP_STACK_END both enabled in aosconf.h"
62
  #if (AMIROOS_CFG_SSSP_MASTER != true)
63
    #error "AMIROOS_CFG_SSSP_MASTER must be enabled in this case"
64
  #endif
65
#endif
66

    
67
#ifndef AMIROOS_CFG_SSSP_SIGNALDELAY
68
  #error "AMIROOS_CFG_SSSP_SIGNALDELAY not defined in aosconf.h"
69
#endif
70

    
71
#ifndef AMIROOS_CFG_SSSP_SYSSYNCPERIOD
72
  #error "AMIROOS_CFG_SSSP_SYSSYNCPERIOD not defined in aosconf.h"
73
#endif
74

    
75
/*
76
 * System shell options
77
 */
78

    
79
#ifndef AMIROOS_CFG_SHELL_ENABLE
80
  #error "AMIROOS_CFG_SHELL_ENABLE not defined in aosconf.h"
81
#endif
82

    
83
#if (AMIROOS_CFG_SHELL_ENABLE == true)
84

    
85
  #ifndef AMIROOS_CFG_SHELL_STACKSIZE
86
    #error "AMIROOS_CFG_SHELL_STACKSIZE not defined in aosconf.h"
87
  #endif
88

    
89
  #ifndef AMIROOS_CFG_SHELL_THREADPRIO
90
    #error "AMIROOS_CFG_SHELL_THREADPRIO not defined in aosconf.h"
91
  #endif
92

    
93
  #ifndef AMIROOS_CFG_SHELL_LINEWIDTH
94
    #error "AMIROOS_CFG_SHELL_LINEWIDTH not defined in aosconf.h"
95
  #endif
96

    
97
  #ifndef AMIROOS_CFG_SHELL_MAXARGS
98
    #error "AMIROOS_CFG_SHELL_MAXARGS not defined in aosconf.h"
99
  #endif
100

    
101
#endif /* AMIROOS_CFG_SHELL_ENABLE == true */
102

    
103
#endif /* _AMIROOS_CONFCHECK_H_ */