I am new to the ESP32 and I was wondering, how does the ESP32 handle threading? My understandig is that it runs on FreeRTOS, but I can't find any information on its thread model. When creating a new thread, how are the user threads mapped to kernel threads?

Thank you.