#ifndef BOOT_TIME_H
#define BOOT_TIME_H

/* Scheduler include files. */
#include "FreeRTOS.h"
#include "task.h"
#include "semphr.h"
#include "queue.h"

#include <cstring>
#include "pico/stdlib.h"

#define BUFER 256

extern void BOOT_TIME(void *pvParameters);

#endif