Skip to content

_includes: update RISC-V toolchain build#339

Open
lsf37 wants to merge 1 commit into
masterfrom
riscv-toolchain
Open

_includes: update RISC-V toolchain build#339
lsf37 wants to merge 1 commit into
masterfrom
riscv-toolchain

Conversation

@lsf37

@lsf37 lsf37 commented Jun 30, 2026

Copy link
Copy Markdown
Member

The RISC-V toolchain no longer needs a separate submodule init. (Now part of its build system.)

@lsf37 lsf37 requested a review from Indanz June 30, 2026 00:50
@midnightveil

Copy link
Copy Markdown
Contributor

Wouldn't it be better to recommend people use the RISC-V toolchain from their repositories like we do for ARM?

I don't think I've ever compiled it from source. Maybe it wss necessary 5 years ago when it was much less mature.

@lsf37

lsf37 commented Jun 30, 2026

Copy link
Copy Markdown
Member Author

I just had to compile it right now for Ubuntu :-) (that's how I remembered that I wanted to remove that). Although I did that because of the verification side, so I'm not sure we really need to recommend it here.

One problem is that we know that the version that ships with Debian Trixie (14.2.0) is broken. The one you get from building yourself is now 16.1. Maybe also a bit experimental because we're not testing that anywhere.

I'm still not quite sure what to do about all that in terms of docs, because it'll be very annoying for people to get a different gcc version for Trixie for all architectures, and we mostly have worked around it. But of course there is a good probability people will run into the same issue if they have inline asm anywhere in their code and use -O3.

The RISC-V toolchain no longer needs a separate submodule init. (Now
part of its build system.)

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37 lsf37 force-pushed the riscv-toolchain branch from 2d42a05 to f9d331d Compare June 30, 2026 01:55
@lsf37

lsf37 commented Jun 30, 2026

Copy link
Copy Markdown
Member Author

(fixing the gitlint failure)

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.

2 participants