amiro-os / core / inc / aos_confcheck.h @ e0ce5f27
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 |
/** @} */
|