Statistics
| Branch: | Tag: | Revision:

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
/** @} */