Hi, We are currently working on a custom operating system which we wish to run over ESP32. In order to proceed, we need to know which Xtensa CPU options are incorporated to ESP32. We use the document linked below to learn about the architecture and implement metal-specific stuff, but as it is a gene...