diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-02-13 15:26:22 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-02-13 15:26:22 +0000 |
| commit | ccf45a42833355100c1cebb5851fa36494914ce1 (patch) | |
| tree | 9baf3d31059f8654d86b4af0fe20425420712c64 | |
| parent | 0b32e50365b6e36474e183a7240ccfc8fa56830a (diff) | |
| download | micropython-ccf45a42833355100c1cebb5851fa36494914ce1.tar.gz micropython-ccf45a42833355100c1cebb5851fa36494914ce1.zip | |
cc3200: Get bootloader compiling with changes to HAL.
| -rw-r--r-- | cc3200/hal/cc3200_hal.c | 4 | ||||
| -rw-r--r-- | cc3200/hal/cc3200_hal.h | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/cc3200/hal/cc3200_hal.c b/cc3200/hal/cc3200_hal.c index cae9367764..1e97324ea8 100644 --- a/cc3200/hal/cc3200_hal.c +++ b/cc3200/hal/cc3200_hal.c @@ -133,7 +133,7 @@ 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, mp_uint_t len) { +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); } @@ -143,7 +143,7 @@ void mp_hal_stdout_tx_strn(const char *str, mp_uint_t len) { } } -void mp_hal_stdout_tx_strn_cooked(const char *str, mp_uint_t len) { +void mp_hal_stdout_tx_strn_cooked(const char *str, uint32_t len) { // send stdout to UART if (MP_STATE_PORT(pyb_stdio_uart) != NULL) { uart_tx_strn_cooked(MP_STATE_PORT(pyb_stdio_uart), str, len); diff --git a/cc3200/hal/cc3200_hal.h b/cc3200/hal/cc3200_hal.h index b738ff6698..ecf500b637 100644 --- a/cc3200/hal/cc3200_hal.h +++ b/cc3200/hal/cc3200_hal.h @@ -65,7 +65,7 @@ extern void mp_hal_set_interrupt_char (int c); int mp_hal_stdin_rx_chr(void); void mp_hal_stdout_tx_str(const char *str); -void mp_hal_stdout_tx_strn(const char *str, mp_uint_t len); -void mp_hal_stdout_tx_strn_cooked(const char *str, mp_uint_t len); +void mp_hal_stdout_tx_strn(const char *str, uint32_t len); +void mp_hal_stdout_tx_strn_cooked(const char *str, uint32_t len); #endif /* CC3200_LAUNCHXL_HAL_CC3200_HAL_H_ */ |