use Debian riscv toolchain in base image

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

12 stars 39 forks source link

use Debian riscv toolchain in base image #35

Closed lsf37 closed 3 years ago

lsf37 commented 3 years ago

make riscv toolchain available in the whole image stack
update Makefile and docs for this
remove old riscv build-from-source image

I've checked that this builds sel4test with the latest version of seL4_tools for riscv32 (even though the toolchain prefix is always riscv64-).

tcptomato commented 3 years ago

This change downgrades the riscv gcc version from 10.2 ( in the current camkes-riscv container) to 8.3 ( version in debian testing).

lsf37 commented 3 years ago

This change downgrades the riscv gcc version from 10.2 ( in the current camkes-riscv container) to 8.3 ( version in debian testing).

Yes, that is correct. This should actually bring it more in line with the other compilers, but I should have made a note of that.

It's a bit unfortunate though that this package doesn't have a tagged version (at least I looked and didn't find any), so it might silently upgrade when we switch Debian releases.

lsf37 commented 3 years ago

@tcptomato I should ask: does that downgrade to v8 constitute a problem, i.e. do you depend on v10 for something, or is this Ok?

lsf37 commented 3 years ago

(marking as draft until the qemu issue is solved)

lsf37 commented 3 years ago

This is now superseded by #39