github: build and deploy multi-arch images

seL4 / seL4-CAmkES-L4v-dockerfiles

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

12 stars 39 forks source link

Closed lsf37 closed 4 months ago

lsf37 commented 4 months ago

Build and deploy multi-arch images for seL4 and CAmkES.

For this PR, l4v is staying on x86 only and camkes-cakeml-rust is built in both variants, but not yet pushed as multi-arch image.

lsf37 commented 4 months ago

I have no good way of testing this apart from in production...