"after switching power domain to VDD_SPI via software" - how exactly do you do that? I haven't found a single example anywhere online. Everyone only talks that it's possible, but nobody has ever posted a working example of it on the internet.

Hardware: ESP32 Dev Kit C V2, MCU ESP32S. Goal: activate 1.8V domain, so some GPIO work at 1.8V. According to technical reference manual, in order to activate 1.8V regulator on boot, one needs to pull GPIO12 - TDMI - high - during the said boot. Unfortunately, doing this stalls the microcontroller: ...