Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v. - View it on GitHub