/**
 * @file jesos.h
 * @author Maximilian Stiefel
 * @date 1 June 2019
 * @brief Interface file between platform and OS.
 */


#ifndef OS_PORTING_H_
#define OS_PORTING_H_

/* In order to function as a two way interface functions, which are called by
 * the platform layer shall be available by only including this file.
 * */
#include "../os/ossettings.h"
#include "../os/scheduler.h"
#include "../os/queues.h"
#include "../os/error.h"

#define GPIO_ALIVE GPIOB
#define GPIO_PIN_ALIVE GPIO_Pin_10
# define GPIO_BUS_ALIVE RCC_APB2Periph_GPIOB

void initAliveLED(void);
void toggleAliveLED(void);

#endif /* OS_PORTING_H_ */