[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lwip-devel] [task #14282] Add FreeRTOS port
From: |
Daniel Elstner |
Subject: |
[lwip-devel] [task #14282] Add FreeRTOS port |
Date: |
Thu, 4 Jan 2018 02:03:19 -0500 (EST) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Ubuntu Chromium/63.0.3239.84 Chrome/63.0.3239.84 Safari/537.36 |
Follow-up Comment #5, task #14282 (project lwip):
Hey, cool that this went in. I just had a quick glance over your code. I see
that you introduced a separate lwIP configuration define for using FreeRTOS
mutexes, any reason not to use the FreeRTOS config itself here? Also, some
sanity checking of the FreeRTOS config could help to avoid problems, in
particular the INCLUDE_vTaskSuspend is needed or pdMAX_DELAY won't work.
#if !configSUPPORT_DYNAMIC_ALLOCATION
# error "lwIP FreeRTOS port requires configSUPPORT_DYNAMIC_ALLOCATION"
#endif
#if !configUSE_MUTEXES
# error "lwIP FreeRTOS port requires configUSE_MUTEXES"
#endif
#if !INCLUDE_vTaskDelay
# error "lwIP FreeRTOS port requires INCLUDE_vTaskDelay"
#endif
#if !INCLUDE_vTaskSuspend
# error "lwIP FreeRTOS port requires INCLUDE_vTaskSuspend"
#endif
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/task/?14282>
_______________________________________________
Message sent via/by Savannah
http://savannah.nongnu.org/