Run real systems
xv6 shell 在 virtio-blk board path 上稳定运行；Linux block-rootfs 已推进到 timerfd 边界。
$ guest_interactive_os_demo KMV interactive monitor monitor> help $ xv6-riscv init: starting sh $ linux_proto stage=timerfd-one-shot-readback-ok
Capabilities
一张工作台，
六项能力。
Inspect the machine
functional 作为 reference 真值来源，pipeline 暴露五级流水线、rename、ROB、LSQ 与寄存器 diff。
Accelerate workloads
AI accelerator 覆盖 graph package、MMIO doorbell、DMA 与 timed-simple profile；Vector CNN 展示 conv-relu 路径。
Runtime labs
JIT / DBT opt-in 原型展示 translation、host executable、cache hit / miss 与 fallback 运行数据。
Memory & OS
Sv39、trap、CLINT、PLIC、UART 与 virtio-blk 组成系统 bring-up 所需的最小平台。
Differential verification
Spike oracle、functional replay、commit trace 与 host smoke 让每条展示路径都有回归支撑。
Core architecture
上层 demo 之下，
是一套可观察的系统骨架。
myCPU 不只是终端输出。它把指令语义、地址空间、设备总线、系统 bring-up 和差分验证拆成可组合的基础设施，再通过控制台展示出来。
InstructionSemantics → backend → snapshot
InstructionSemantics 是共享 ISA 语义入口，functional backend 提供 reference 执行路径，pipeline backend 消费同一套语义并输出 timeline、stall、register diff 和 profile snapshot。
InstructionSemantics
functional replay
pipeline observation
debug snapshot
Sv39、Bus 与设备一起支撑系统启动。
AddressSpace、Sv39 page table、trap runtime、CLINT timer、PLIC interrupt、UART console 和 virtio-blk storage 组成 xv6 / Linux bring-up 的底层路径。
Spike oracle 不是口号，是回归链路。
Spike differential、commit trace、host smoke、Makefile gates 和 runtime marker 一起校验 CPU 状态、内存副作用、trap 边界和 workload 输出。
Systems
从 xv6 到 Linux，
真实系统可启动。
在真实 virtio-blk 板级路径上稳定运行到 shell，作为 workload guardrail 持续维护。
从 boot log 到 userland marker，Linux bring-up 进度可在浏览器终端中观察。
输入 monitor 命令，查看寄存器、磁盘、page walk 与运行状态。
Machine
双后端，
同一颗芯片。
functional reference 与 pipeline observation 并行，五级流水线、rename、ROB、LSQ、寄存器变化与内存观测尽收眼底。
Accelerator
AI 加速器
与向量运算。
从预置 workload 到参数化小模型，调整小规模输入，观察 DMA、scratchpad、compute 与 profile counters 的完整数据流。
graph package
MMIO doorbell
DMA load/store
timed-simple profile
KMVAI marker
Labs
运行时
实验台。
translation、cache、profile、fallback 与 memory observation 的运行时数据，全部回到控制台。
Executable runtime view
IR lowering、host code emission、runtime harness、executable cache hookup 与 invalidation counters。
Memory-system observation
load / store、shadow cache、L1D counters 与 workload profile 在同一组观察面中呈现。
两条新主线
标准 Debian / Alpine / RISC-V 发行版镜像级平台，以及用户自定义 AI 任务与商用 NPU-like 性能模型。
Verification
验证
驱动开发。
75
frontend Node tests
覆盖 debug server、真实 debug CLI e2e、terminal、render 与 UI state。
10
kernel_alpha baselines
覆盖 supervisor runtime、storage、PLIC、timer 与 boot path 组合。
2
default backend families
functional / pipeline 支撑系统运行、机器观察与 profile 展示。
1
Spike differential chain
Spike differential、host smoke 与 Makefile 门禁共同支撑页面里的 marker。
Start
选择系统，
观察机器。
打开控制台，启动 interactive_os、xv6、Linux 或 AI demo。在终端、pipeline、profile 与 counters 之间切换视角。
打开控制台，选择 interactive_os、xv6、Linux 或 AI demo。
在终端、pipeline、profile 与 counters 之间切换视角。
使用产品文档了解每条 demo 路线的运行方式。
继续向下进入 roadmap，看下一阶段的大方向。
Get Started