lf_rp2040_support.h

Go to the documentation of this file.

/* RP2040 API support for the C target of Lingua Franca */
 
#ifndef LF_RP2040_SUPPORT_H
#define LF_RP2040_SUPPORT_H
 
#include <pico/stdlib.h>
#include <pico/sync.h>
 
#define NO_CLI
#define MINIMAL_STDLIB
 
// Defines for formatting time in printf for pico
#define PRINTF_TAG "(" PRINTF_TIME ", " PRINTF_MICROSTEP ")"
#define PRINTF_TIME "%lld"
#define PRINTF_MICROSTEP "%d"
 
#define LF_TIME_BUFFER_LENGTH 80
#define _LF_TIMEOUT 1
 
#ifndef LF_SINGLE_THREADED
#warning "Threaded support on rp2040 is still experimental"
 
typedef recursive_mutex_t lf_mutex_t;
typedef struct {
  semaphore_t notifs[NUM_CORES];
  lf_mutex_t* mutex;
} lf_cond_t;
typedef int lf_thread_t;
 
#endif // LF_SINGLE_THREADED
 
#endif // LF_PICO_SUPPORT_H