teensy/teensy_hal.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#include <stdio.h>
#include <stdint.h>

#include "mpconfig.h"

#include "Arduino.h"

#include MICROPY_HAL_H

uint32_t HAL_GetTick(void) {
  return micros();
}

void HAL_Delay(uint32_t Delay) {
  delay(Delay);
}