I am trying to get mbed-rtos working on my Teensy 3.2.
I am using the following code:
#include "mbed.h"
#include "rtos.h"
DigitalOut led(D13);
void blink(void const *args)
{
led = !led;
}
int main(void)
{
RtosTimer led_timer(blink, osTimerPeriodic, (void *)0)...