Skip to content

Project to build and test seL4 for many different platforms

Notifications You must be signed in to change notification settings

sand7000/sel4test-manifest

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

sel4test-manifest

The sel4test project aims to test sel4 and some of its user libraries on many different targets.

For general instructions on using this repository, see Getting Started and the seL4Test page on the docsite.

See Host Dependencies for required dependencies.

About

Project to build and test seL4 for many different platforms

Resources

Code of conduct

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published