Freertos wifi examples don't build with the latest version of FreeRTOS-Kernel

[peterharperuk]

FreeRTOS/FreeRTOS-Kernel@ae3a498

[kilograham]

OK, so this is a bit more involved; they have merged the smp branch into the main branch, so we will need to do some more investigation of if anything got broken (mixture of FreeRTOS cores, and SDK cores etc) for the next SDK release

[raarts]

FreeRTOS 11.0 (Released in December) now defines FREE_RTOS_KERNEL_SMP instead of portSUPPORT_SMP.
Also, the examples don't run at all if you use both cores, generating the following error in picow_freertos_ping.c:

assertion "get_core_num() == async_context_core_num(cyw43_async_context)" failed: file "/Users/raarts/pico/pico-sdk/src/rp2_common/pico_cyw43_driver/cyw43_driver.c", line 53, function: cyw43_irq_init

I don't understand enough of the code to try to fix it (FreeRTOS noob here).

[jdbruner]

It looks like FreeRTOS is looking for configNUMBER_OF_CORES but the SDK and example code is using configNUM_CORES. A quick workaround is to define them to be the same thing.

[lurch]

It looks like FreeRTOS is looking for configNUMBER_OF_CORES but the SDK and example code is using configNUM_CORES. A quick workaround is to define them to be the same thing.

See #429 😉