Skip to content

add riscv64im-unknown-openvm-elf tier 3 target#3

Draft
Tuanlinh12312 wants to merge 4 commits intomasterfrom
feat/riscv64im-unknown-openvm-elf
Draft

add riscv64im-unknown-openvm-elf tier 3 target#3
Tuanlinh12312 wants to merge 4 commits intomasterfrom
feat/riscv64im-unknown-openvm-elf

Conversation

@Tuanlinh12312
Copy link
Copy Markdown

Add riscv64im-unknown-openvm-elf as a tier 3 Rust target for the OpenVM zero-knowledge virtual machine (RV64IM ISA). The target includes std support via the OpenVM platform abstraction layer.

Add riscv64im-unknown-openvm-elf as a tier 3 Rust target for the
OpenVM zero-knowledge virtual machine (RV64IM ISA). The target includes
std support via the OpenVM platform abstraction layer.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Tuanlinh12312 and others added 3 commits May 1, 2026 17:35
GitHub Actions workflows to build and publish pre-built toolchain
binaries for the riscv64im-unknown-openvm-elf target.

- build-toolchain.yml: reusable workflow that builds stage-2 rustc
  with the custom target for a single platform
- release-toolchain.yml: triggered on openvm-* tags, builds for
  3 platforms (x86_64 Linux, aarch64 macOS, x86_64 macOS) and
  creates a draft GitHub Release with tarballs

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Bootstrap validates target triples before the compiler is built,
but our built-in target only exists after compilation. Create a
dummy JSON spec at RUST_TARGET_PATH to pass the sanity check.
This is the same workaround used by SP1 and ZisK.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
The host-target input could mismatch the actual runner architecture
(macos-15 is ARM, not x86_64). Now the build workflow detects the
host triple at runtime using uname. Also use macos-13 for the
x86_64 macOS build (last Intel runner).

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant