SPDX and foundation setup

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

12 stars 39 forks source link

Closed lsf37 closed 3 years ago

lsf37 commented 3 years ago

This PR adds SPDX license identifiers and the standard Foundation CI checks (license etc)

lsf37 commented 3 years ago

@ssrg-bamboo test

ssrg-bamboo commented 3 years ago

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests