search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

github: buildx imagetools for multi-arch images #80

Closed lsf37 closed 6 months ago

lsf37 commented 6 months ago

Use buildx imagetools to create the multi-arch images without first having to pull them.