search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
24 stars 60 forks source link

SPDX license identifiers and seL4 Foundation setup #30

Closed lsf37 closed 3 years ago

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