https://github.com/sel4/sel4test-manifest

Project to build and test seL4 for many different platforms
https://github.com/sel4/sel4test-manifest

Last synced: 5 months ago
JSON representation

Project to build and test seL4 for many different platforms

• Host: GitHub
• URL: https://github.com/sel4/sel4test-manifest
• Owner: seL4
• Created: 2014-07-22T08:00:00.000Z (about 12 years ago)
• Default Branch: master
• Last Pushed: 2024-04-11T16:24:01.000Z (over 2 years ago)
• Last Synced: 2024-04-11T19:12:21.662Z (over 2 years ago)
• Homepage:
• Size: 334 KB
• Stars: 14
• Watchers: 25
• Forks: 35
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSES/BSD-2-Clause.txt
  • Code of conduct: .github/CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

          


sel4test-manifest

=================

The `sel4test` project aims to test the seL4 kernel and some of its user libraries on many different

targets.

For instructions on using this repository, see the [seL4Test

page](https://docs.sel4.systems/seL4Test) on the [seL4 docsite](https://docs.sel4.systems).

See [Host Dependencies](https://docs.sel4.systems/HostDependencies) for required toolchains and

dependencies to build `sel4test`.