2016-07-23 07:59:54 +02:00
|
|
|
#include <stdbool.h>
|
2016-08-11 14:06:45 +02:00
|
|
|
#include <stdint.h>
|
2016-07-23 07:59:54 +02:00
|
|
|
|
2016-07-28 17:01:49 +02:00
|
|
|
#include "board_devices.h"
|
2016-07-23 07:59:54 +02:00
|
|
|
#include "stack.h"
|
|
|
|
#include "queue.h"
|
2016-07-28 17:01:49 +02:00
|
|
|
#include "kernel.h"
|
2016-07-27 16:00:08 +02:00
|
|
|
#include "driver.h"
|
2016-08-11 14:06:45 +02:00
|
|
|
#include "list.h"
|
|
|
|
#include "shell.h"
|
|
|
|
#include "shell_commands.h"
|
|
|
|
#include "drive_ctrl.h"
|
2016-07-27 16:00:08 +02:00
|
|
|
|
2016-07-23 07:59:54 +02:00
|
|
|
int main(void)
|
|
|
|
{
|
2016-08-11 14:06:45 +02:00
|
|
|
drive_ctrl_init();
|
|
|
|
shell_init(&uart_1);
|
|
|
|
shell_commands_init();
|
2016-07-23 07:59:54 +02:00
|
|
|
|
|
|
|
schedule_start();
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|