seL4 / seL4-CAmkES-L4v-dockerfiles

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

sign containers and check signatures of content in containers #69

Open lsf37 opened 8 months ago

lsf37 commented 8 months ago

For a more trustworthy build/supply chain story, we should

lsf37 commented 8 months ago

https://github.blog/2021-12-06-safeguard-container-signing-capability-actions/ looks promising.