diff options
Diffstat (limited to 'cc3200/mpthreadport.h')
| -rw-r--r-- | cc3200/mpthreadport.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cc3200/mpthreadport.h b/cc3200/mpthreadport.h index 299802a6f3..2b49232ddf 100644 --- a/cc3200/mpthreadport.h +++ b/cc3200/mpthreadport.h @@ -26,11 +26,15 @@ #ifndef __MICROPY_INCLUDED_CC3200_MPTHREADPORT_H__ #define __MICROPY_INCLUDED_CC3200_MPTHREADPORT_H__ +#ifndef BOOTLOADER #include "FreeRTOS.h" +#endif typedef struct _mp_thread_mutex_t { + #ifndef BOOTLOADER SemaphoreHandle_t handle; StaticSemaphore_t buffer; + #endif } mp_thread_mutex_t; void mp_thread_init(void); |