RISC-V-emulator-Tools-Container

Building the official RISC-V architecture tests is painful: opam, Sail, Ruby gems, a Python venv, z3. This image does it once, so the emulator repo doesn't have to carry an opam install.

What it gives you

• ACT4 framework with the UDB gems and a uv-managed Python venv
• The sail-riscv reference simulator, compiled for RV32 and RV64
• xPack `riscv-none-elf-gcc`, symlinked to the `riscv64-unknown-elf-*` names the ACT configs expect
• No network needed at runtime

Running it standalone

The emulator itself is not in the image: the host builds it with PlatformIO and mounts it at `/emulator`. Paths are baked in as ENV values, so there is no entrypoint script.