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