Случайно нашел в интернете, потому, что кто-то, по недогляду выложил в общий доступ случайно.
Так совпало.
Кому может быть интересно: тому, кто ковыряется с загрузчиками, начальной инициализацией процессора, MMU, кэш, Xtensa assembler и прочее.
Секретного ничего не заметил, непонятно, почему код не opensource. Пусть тут полежит, чтобы не потерялась.
Ну да ладно.
В кишках Arduino IDE, если вы работаете с ESP32, есть библиотека libhal.a. Это оно.
ЗЫЖ
Я посравнивал наугад несколько заголовочных файлов из архива с файлами из Arduino IDE - в архиве более свежая версия, чем та, которой Espressif пользуется.