Ban Mengtao contributed to the DragonOS-Community/DragonOS repository by addressing a kernel symbol resolution issue during December 2025. Focusing on debugging and system programming with Rust, Ban identified and fixed a bug in the kernel symbol table lookup logic. By implementing a binary search-based approach, Ban improved both the correctness and performance of symbol identification by address, which enhanced the reliability and speed of kernel analysis workflows. This targeted fix reduced debugging time and streamlined symbol queries, reflecting a deep understanding of kernel development. The work demonstrated careful attention to low-level system details and effective use of modern programming techniques.