Foundation setup and SPDX license tags

seL4 / camkes-vm-linux

Other

4 stars 13 forks source link

Foundation setup and SPDX license tags #5

Closed lsf37 closed 3 years ago

lsf37 commented 3 years ago

The standard setup.

lsf37 commented 3 years ago

The CMake style failure is strange. Locally it works, and it looks like it's using the wrong line length or something like that. Has anyone seen that before?