2 ******************************************************************************
5 * @author The OpenPilot Team, http://www.openpilot.org Copyright (C) 2010.
6 * @brief Main PiOS header.
7 * - Central header for the project.
8 * @see The GNU Public License (GPL) Version 3
10 *****************************************************************************/
12 * This program is free software; you can redistribute it and/or modify
13 * it under the terms of the GNU General Public License as published by
14 * the Free Software Foundation; either version 3 of the License, or
15 * (at your option) any later version.
17 * This program is distributed in the hope that it will be useful, but
18 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
19 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
22 * You should have received a copy of the GNU General Public License along
23 * with this program; if not, write to the Free Software Foundation, Inc.,
24 * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
28 #ifndef PIOS_SIM_POSIX_H
29 #define PIOS_SIM_POSIX_H
31 /* PIOS Feature Selection */
32 #include "pios_config.h"
33 #include <pios_posix.h>
35 #if defined(PIOS_INCLUDE_FREERTOS)
36 /* FreeRTOS Includes */
44 #ifdef PIOS_INCLUDE_TASK_MONITOR
45 #ifndef PIOS_INCLUDE_FREERTOS
46 #error PiOS Task Monitor requires PIOS_INCLUDE_FREERTOS to be defined
48 #include <pios_task_monitor.h>
51 /* PIOS CallbackScheduler */
52 #ifdef PIOS_INCLUDE_CALLBACKSCHEDULER
53 #ifndef PIOS_INCLUDE_FREERTOS
54 #error PiOS CallbackScheduler requires PIOS_INCLUDE_FREERTOS to be defined
56 #include <pios_callbackscheduler.h>
67 /* Generic initcall infrastructure */
68 #include <pios_initcall.h>
70 /* PIOS Board Specific Device Configuration */
71 #include "pios_board.h"
73 /* PIOS Hardware Includes (posix) */
75 #include <pios_delay.h>
77 /* FIXME: simposix needs its own custom include directory into
78 * which a custom pios_led.h can be put that includes the following
80 #ifdef PIOS_INCLUDE_LED
81 extern void PIOS_LED_Init(void);
84 #include <pios_sdcard.h>
87 #include <pios_servo.h>
89 #include <pios_debug.h>
90 #include <pios_debuglog.h>
91 #include <pios_deltatime.h>
93 #include <pios_rcvr.h>
94 #include <pios_flash.h>
95 #include <pios_flashfs.h>
97 #if defined(PIOS_INCLUDE_IAP)
100 #if defined(PIOS_INCLUDE_BL_HELPER)
101 #include <pios_bl_helper.h>
104 #endif /* PIOS_POSIX_H */