5 #include "../common/adcpp.hpp"
6 #include "../common/blinker.hpp"
7 #include "../common/uartpp.hpp"
8 #include "../common/shellpp.hpp"
9 #include "../common/semaphorepp.hpp"
10 #include "../common/motorpp.hpp"
11 #include "../common/drivepp.hpp"
12 #include "../common/canpp.hpp"
13 #include "../common/ctlsysctl.hpp"
14 #include "../common/switchpp.hpp"
15 #include "../common/pingpp.hpp"
18 #include "libschedule/schedule.h"
24 #include "inc/hw_memmap.h"
26 #include "driverlib/adc.h"
27 #include "driverlib/sysctl.h"
28 #include "driverlib/gpio.h"
29 #include "driverlib/interrupt.h"
30 #include "driverlib/uart.h"
37 #define UART0_RX_BUFFER_SIZE 8
46 if (ping0_sem->
guard()) {
50 os_surrender_context();
60 uart0 =
uart(UART0_BASE, INT_UART0);
62 blink =
blinker(GPIO_PORTF_BASE, GPIO_PIN_1 | GPIO_PIN_2 | GPIO_PIN_3);
63 ping0 =
ping(GPIO_PORTD_BASE, GPIO_PIN_3, 1, TIMER_A);
semaphore * get_sem(void)
void __cxa_pure_virtual()
void printf(const char *pcString,...)
static semaphore UART0_RX_SEM
static void set_clock(void)
static buffer< char, 8 > UART0_RX_BUFFER
uint32_t handle_timer(void)
uint32_t handle_gpio(void)