2014-06-16 06:33:14 +01:00
|
|
|
#include <stdio.h>
|
2015-02-13 15:04:53 +00:00
|
|
|
#include <string.h>
|
2014-06-16 06:33:14 +01:00
|
|
|
|
2015-02-13 15:04:53 +00:00
|
|
|
#include "py/mpstate.h"
|
|
|
|
#include "usb.h"
|
|
|
|
#include "uart.h"
|
2014-06-16 06:33:14 +01:00
|
|
|
#include "Arduino.h"
|
2014-07-02 13:42:37 +01:00
|
|
|
#include MICROPY_HAL_H
|
2014-06-16 06:33:14 +01:00
|
|
|
|
2015-10-29 17:12:13 +00:00
|
|
|
uint32_t mp_hal_ticks_ms(void) {
|
2014-09-28 19:21:13 +01:00
|
|
|
return millis();
|
2014-06-16 06:33:14 +01:00
|
|
|
}
|
|
|
|
|
2015-10-29 17:12:13 +00:00
|
|
|
void mp_hal_delay_ms(uint32_t ms) {
|
|
|
|
delay(ms);
|
2014-06-16 06:33:14 +01:00
|
|
|
}
|
2014-11-27 16:58:31 +00: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.
|
|
|
|
}
|
2015-02-13 15:04:53 +00:00
|
|
|
|
|
|
|
int mp_hal_stdin_rx_chr(void) {
|
|
|
|
for (;;) {
|
|
|
|
byte c;
|
|
|
|
if (usb_vcp_recv_byte(&c) != 0) {
|
|
|
|
return c;
|
|
|
|
} else if (MP_STATE_PORT(pyb_stdio_uart) != NULL && uart_rx_any(MP_STATE_PORT(pyb_stdio_uart))) {
|
|
|
|
return uart_rx_char(MP_STATE_PORT(pyb_stdio_uart));
|
|
|
|
}
|
|
|
|
__WFI();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void mp_hal_stdout_tx_str(const char *str) {
|
|
|
|
mp_hal_stdout_tx_strn(str, strlen(str));
|
|
|
|
}
|
|
|
|
|
|
|
|
void mp_hal_stdout_tx_strn(const char *str, uint32_t len) {
|
|
|
|
if (MP_STATE_PORT(pyb_stdio_uart) != NULL) {
|
|
|
|
uart_tx_strn(MP_STATE_PORT(pyb_stdio_uart), str, len);
|
|
|
|
}
|
|
|
|
if (usb_vcp_is_enabled()) {
|
|
|
|
usb_vcp_send_strn(str, len);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void mp_hal_stdout_tx_strn_cooked(const char *str, uint32_t len) {
|
|
|
|
// send stdout to UART and USB CDC VCP
|
|
|
|
if (MP_STATE_PORT(pyb_stdio_uart) != NULL) {
|
|
|
|
uart_tx_strn_cooked(MP_STATE_PORT(pyb_stdio_uart), str, len);
|
|
|
|
}
|
|
|
|
if (usb_vcp_is_enabled()) {
|
|
|
|
usb_vcp_send_strn_cooked(str, len);
|
|
|
|
}
|
|
|
|
}
|
2015-08-03 00:05:16 +01:00
|
|
|
|
|
|
|
void mp_hal_gpio_clock_enable(GPIO_TypeDef *gpio) {
|
|
|
|
}
|