GitHub repository: paolo-crisafulli/seL4-CAmkES-L4v-dockerfiles
Primary language: Makefile
Description: Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.