diff options
| author | Damien George <damien.p.george@gmail.com> | 2016-06-28 11:25:50 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2016-06-28 11:28:53 +0100 |
| commit | 842c2c74c02d5ad0b409cda2fd6e64f339b45ba9 (patch) | |
| tree | 6ef878445e8f14cb7276bb1e727ab5b28dc88327 | |
| parent | 469c623bb8e504ca78f1964508579ecefec76a98 (diff) | |
cc3200: Allow to compile bootloader with threading enabled.
Threading is not used in the bootloader but the config optios are still
enabled so we must exclude including FreeRTOS.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 299802a6f..2b49232dd 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); |