-
Notifications
You must be signed in to change notification settings - Fork 900
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Support for RV32IM #4192
Comments
What is the board/chip you want to target? TinyGo needs a lot more than just the instruction set architecture. |
It's is a bit of an unusual use-case--our team is building a zero-knowledge VM (zkVM) that proves the execution of the RISC-V32im instruction set: https://github.com/succinctlabs/sp1. We use |
In that case, the zkVM would be the target. Especially since you say this:
This means that functions like Also, the linker will need to know details like at which address it can be linked and which memory area it can use for the heap. |
Relevant PR from another zkVM project: Relevant discussion: |
hey wanted to check in on how things are going here? |
A PR like risc0#1 would indeed be something that could be included in TinyGo. |
Is it possible to compile TinyGo to a RV32IM (RISC-V 32 bit) backend? I tried running
But got the following error on this very simple program:
The text was updated successfully, but these errors were encountered: