search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

Fix target user_l4v in Makefile #1

Closed paolo-crisafulli closed 7 years ago

paolo-crisafulli commented 7 years ago

user_l4v previously invoked build_user_lv4 instead of build_user_l4v

OlympusMonds commented 7 years ago

Thanks for the fix!