Related to a recent fix from esp-idf: 0fb0be3817 Signed-off-by: Gustavo Henrique Nihei <gustavo.nihei@espressif.com>
0fb0be3817
Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>
1. Bring up OS kernel. 2. Add interrupt support. 3. Add system timer support. 4. Add the ESP32-C6 devkit board. 5. Add basic UART support for console. 6. Add clock configuration. 7. Add board reset support.