FreeRTOS Plus TCP vs FreeRTOS + lwip

Hi addi,
Just wanted to add a few more things.
FreeRTOS-Plus-TCP is a scalable, open source and thread safe TCP/IP stack for FreeRTOS maintained by Amazon Web Services.
The stack is misra compliant, unit tested, CBMC proofed and Protocol Tested for IPv4 using the Maxwell Pro Tester.
It has 2 main branches:

  1. main:
    1. supports IPv4
    2. has a LTS(Long Term Support) release
  2. dev/ipv6_integration:
    1. supports both IPv4 and IPv6
    2. This is a work in progress branch with Release Candidates coming up soon.