I'm interested in working on a custom (toy/academic) RTOS for the ESP32. Do you have a bare-metal example project that does not use FreeRTOS? As an example, it would call call_start_cpu0() {while(1); } and provide a routine for flashing. I believe I have the elf file compiled correctly but I am unab...