search

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
12 stars 39 forks source link

Update QEMU to 7.0 as is enforces stronger RISC-V spec compliance #54

Open axel-h opened 2 years ago

axel-h commented 2 years ago

Follow-up from https://github.com/seL4/seL4/issues/879

The Debinad/Ubuntu releases do not have the latest version, but using it would force us to improve RISC-V spec compliance.

lsf37 commented 2 years ago

Is this a docker container issue? It sounds to me like this is something we should support in the build system/tool chain, not in the containers.

axel-h commented 2 years ago

Well, we have to put it into the container, as the tool/test-chain comes from there in the end. So somehow this is a container issue.

lsf37 commented 2 years ago

Put what into the container? I don't think it makes sense to change the qemu version there -- we do not want to drop support for them, even if we do want support newer versions.

Edit: right, I managed to just now see the title of the issue. I do not agree that we should do that.

Ivan-Velickovic commented 2 years ago

Is it realistic to have the CI use both the stable container version of QEMU as well as the latest?

axel-h commented 2 years ago

You can have more than one QEMU in the container, as the binary is quite self-contained. So another layer on top would work or just copying it in for a build/test run from somewhere.

lsf37 commented 2 years ago

Having both in there sounds reasonable, I can have a look at that.