seL4 / seL4-CAmkES-L4v-dockerfiles

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

remove cogent #62

Closed lsf37 closed 7 months ago

lsf37 commented 1 year ago

The build for Cogent is now failing and Cogent is no longer under active development.

If the TSC agrees P propose to remove the Cogent build from the docker containers and remove the Cogent examples from the repos where they occur and/or archive where appropriate.

lsf37 commented 7 months ago

Done.