search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

drop Cogent support #63

Closed lsf37 closed 1 year ago

lsf37 commented 1 year ago

The project is no longer actively developed on top of seL4 and the build currently fails because of the Cogent component.