The ESP32 successfully hosts FreeRTOS alongside Arduino which allows for a scheduler and use of its multiple cores.
Arduino itself does not have multithreaded functionality, and synchronization needs to be added to the HAL to support multiple cores, but with an RTOS it is doable, if we can go...