#include <stdint.h>
#include "kernel/os.h"
#include "kernel/bsp.h"

uint32_t stack_blinky1[40];
Task blinky1;
void main_blinky1() {
    while (1) {
        BSP_led0On();
        BSP_delay(BSP_TICKS_PER_SEC);
        BSP_led0Off();
        BSP_delay(BSP_TICKS_PER_SEC);
    }
}

uint32_t stack_blinky2[40];
Task blinky2;
void main_blinky2() {
    while (1) {
        BSP_led1On();
        BSP_delay(BSP_TICKS_PER_SEC);
        BSP_led1Off();
        BSP_delay(BSP_TICKS_PER_SEC);
    }
}


int main()
{
	BSP_init();
	OS_init();

	Task_start(
			&blinky1,
			&main_blinky1,
			stack_blinky1,
			sizeof(stack_blinky1));

	Task_start(
			&blinky2,
			&main_blinky2,
			stack_blinky2,
			sizeof(stack_blinky2));

    while (1) {
    	BSP_delay(BSP_TICKS_PER_SEC / 2U);
	}
}