My apologies for the delayed response user_2828030
Currently within WICED, we only support FreeRTOS, ThreadX and Express Logic from an RTOS perspective. Technically, the modular nature of our WICED WWD driver would support the addition of another RTOS, but it would take some engineering work as I’m not aware of a broad market port to Micrium. If you find that you run across a lot of customers that are asking for Micrium support, I could talk to the SW team on my side about supporting the Future centralized SW engineering team in doing a port to this RTOS that you could then offer to your customers.
Regarding IAR, I’m pretty sure we still support IAR with ThreadX only on just a couple of platforms. The 43438 (same as the 4343W) is one of them. This thread has some additional details: https://community.cypress.com/message/33332
There has been talk of developing an appnote which outlines how to develop a new MCU BSP within WICED, but I don’t know how much progress has been made internally. Note that your centralized SW team at Future developed the current STM32F429 BSP platform that the Nebula board uses (with very little help from us), so you may want to reach out to that team internally and see if they can engage in a design services capacity with the current customer that is looking for Wafer Level STM MCU.