search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

Add target for l4v using RISC-V. #20

Closed gbadevic-hc closed 4 years ago

gbadevic-hc commented 4 years ago

In spirit of the already existing target user_l4v adding a new similar target using RISC-V.

LukeMondy commented 4 years ago

Thanks for this, after your comments yesterday, I was inspired to make this change. It has been merged internally, and it should get pushed out soon.

Thanks again!