RTL8710 and OpenOCD

I want to investigate about RTL8710 WiFi module, fortunately someone already test it with OpenOCD:

https://bitbucket.org/rebane/rtl8710/src

This chip already supports FreeRTOS, then porting NuttX could be easy.