Summary
This blog post details a newly developed MIR debugger tailored for AsterinasOS, highlighting its features such as multi-level stepping, code tracing, memory inspection, and borrow model visualization. The author shares insights from their dogfooding experience with the tool, emphasizing its intended use for understanding MIR interpretation and debugging rather than general product use. The debugger has undergone extensive refactoring and implementation of new functionalities to meet specific development needs.