Hi, my name is Seok Min Lim. I graduated from university in 2025 with a major in CS, and I am currently working on embedded systems.
I am highly interested in RTOS and RISC-V, having previously studied the seL4 microkernel. Therefore, I hope to participate in the ESP32-C5 and C6 projects.
I have completed the tasks in the GSoC Getting Started document. Here are the screen capture and the patch file of my work.
Thanks for reading

