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.
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.