search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

Make container invocations more scriptable #9

Closed kkredit closed 5 years ago

kkredit commented 5 years ago
LukeMondy commented 5 years ago

Wow, nice, looks great!

I've merged it internally, and it should be pushed out tonight.