2014-06-16 09:33:14 +04:00
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdint.h>
|
|
|
|
|
|
|
|
#include "mpconfig.h"
|
|
|
|
|
|
|
|
#include "Arduino.h"
|
|
|
|
|
2014-07-02 16:42:37 +04:00
|
|
|
#include MICROPY_HAL_H
|
2014-06-16 09:33:14 +04:00
|
|
|
|
|
|
|
uint32_t HAL_GetTick(void) {
|
2014-09-28 22:21:13 +04:00
|
|
|
return millis();
|
2014-06-16 09:33:14 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
void HAL_Delay(uint32_t Delay) {
|
|
|
|
delay(Delay);
|
|
|
|
}
|
2014-11-27 19:58:31 +03:00
|
|
|
|
|
|
|
void mp_hal_set_interrupt_char(int c) {
|
|
|
|
// The teensy 3.1 usb stack doesn't currently have the notion of generating
|
|
|
|
// an exception when a certain character is received. That just means that
|
|
|
|
// you can't press Control-C and get your python script to stop.
|
|
|
|
}
|