2014-06-16 01:33:14 -04:00
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdint.h>
|
|
|
|
|
|
|
|
#include "mpconfig.h"
|
|
|
|
|
|
|
|
#include "Arduino.h"
|
|
|
|
|
2014-07-02 08:42:37 -04:00
|
|
|
#include MICROPY_HAL_H
|
2014-06-16 01:33:14 -04:00
|
|
|
|
|
|
|
uint32_t HAL_GetTick(void) {
|
2014-09-28 14:21:13 -04:00
|
|
|
return millis();
|
2014-06-16 01:33:14 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
void HAL_Delay(uint32_t Delay) {
|
|
|
|
delay(Delay);
|
|
|
|
}
|