evan
4dd54253ab
Mode 2 runs compiled LIVE and authoritative so corruption accumulates across TBs as in the real crash, with a per-TB TCI shadow (restored from pre-snapshot) as the known-good reference. Store-TCI disabled under this mode; compares env/pc/DRAM per eligible store TB, now including slow-path completions. Result: 153k+ live-compiled comparisons, zero divergence, confirming inline store codegen is correct even under live accumulation. Cannot reach the reader corruption in-browser: 2x-execution + full-state snapshot trips the guest interrupt watchdog and is throughput-bound. Suspects narrowed to the store slow-path (helper/unwind) and store-width interaction.
xteink QEMU fork
Espressif's QEMU fork carrying the xteink X3/X4 (ESP32-C3) machine model and a wasm32 TCG backend (ported from ktock/qemu-wasm), used by xteink-web-emulator to run CrossPoint firmware in the browser.
Branch
main— the working branch. Base is Espressif'sesp-develop-9.2.2-20260417(40edccac).
Remotes
origin— https://ssh.gitea.va.reichard.io/evan/qemu-xteinkupstream— https://github.com/espressif/qemuqemu-wasm— https://github.com/ktock/qemu-wasm (source of the wasm32 backend)
Building
Native (parity check — authoritative)
nix develop
./configure --target-list=riscv32-softmmu --with-devices-riscv32=xteink --enable-gcrypt
ninja -C build qemu-system-riscv32
WebAssembly
Driven by the parent repo, not here:
cd ../xteink-web-emulator
make web-dev # incremental build straight from this tree
The parent's scripts/build-qemu-wasm.sh compiles this checkout inside the
emsdk Docker image defined in xteink-web-emulator/qemu/wasm/Dockerfile.