QEMU 系统模拟与设备建模概览
概览 QEMU 用户态与系统模拟、固件引导链和常用命令,进一步介绍 QOM/qdev/SysBusDevice、块设备及 MMIO 外设建模,并以 WDT 和 QTest 展示完整流程。
![QEMU 系统模拟与设备建模概览]()
QEMU 自定义指令与 DMA helper 实现
记录在 QEMU RISC-V TCG 中加入 xg233ai 自定义指令的过程,串起 .insn、译码、trans、gen_helper 与 C helper,并以 DMA 矩阵转置说明 guest 内存读写和调试方法。
![QEMU 自定义指令与 DMA helper 实现]()
QEMU TCG 自定义指令实现流程
介绍 QEMU TCG 与 TCG IR 的基本机制,并以 Xg233ai 扩展为例,逐步说明 RISC-V 自定义指令的编码、译码、翻译函数和 helper 实现及后续指令实验。
![QEMU TCG 自定义指令实现流程]()
QEMU QOM 类型注册机制与设备建模
结合 SoC 外设开发经历,梳理 QEMU QOM 类型注册与设备建模流程,包括寄存器、Rust/C FFI、板级挂载和设备树描述,并记录在虚拟 G233 主板上引导 Linux 的实践。
![QEMU QOM 类型注册机制与设备建模]()
K230 冷启动流程与镜像格式
记录 K230 在 QEMU 中从 32 MiB SPI NOR 镜像冷启动到 Linux shell 的完整链路,说明 QEMU 外设补齐、SDK 配置、镜像格式、装配路线和关键排障过程。
![K230 冷启动流程与镜像格式]()
K230 SDHCI 控制器建模与验证
总结 K230 eMMC/SD/SDIO 控制器的 QEMU SDHCI 建模,包括寄存器与中断、板级接入、QTest 用例,以及 Guest Linux 上通过 ADMA 完成 SD 卡文件系统读写的验证。
![K230 SDHCI 控制器建模与验证]()
STM32F103 TIM2 定时器建模
总结 STM32F103 TIM2 通用定时器的 QEMU 建模,涵盖 16 位计数、预分频、自动重装载、更新事件、输出比较、中断与状态迁移,并介绍 QTest 和裸机程序验证。
![STM32F103 TIM2 定时器建模]()
QEMU TCG 与 KVM 的地址翻译机制
围绕 QEMU 内存管理比较 TCG 与 KVM 下的 Guest 地址翻译路径,梳理软件 TLB、Guest 页表、AddressSpace/MemoryRegion、EPT/NPT,以及翻译块、执行循环和设备管理机制。
![QEMU TCG 与 KVM 的地址翻译机制]()
CXLMemSim 的 SASS Lifter 实现与分析
复盘 CXLMemSim 项目中 SASS Lifter 的实现与分析,讨论语义正确性、性能验证和下游依赖问题,并总结可迁移的测试 harness 与 AI 辅助开发经验。
![CXLMemSim 的 SASS Lifter 实现与分析]()
K230 IOMUX、SPI/QSPI 与 XIP 建模
记录 K230 在 QEMU 中从 IOMUX 寄存器建模到 DesignWare SPI/QSPI 控制器实现的过程,涵盖 PIO、IDMA、XIP、上游评审与从 SPI Flash 启动 Linux 的验证。
![K230 IOMUX、SPI/QSPI 与 XIP 建模]()












