├── .github ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── LICENSE.md └── workflows │ ├── hw-tests.yml │ ├── pr.yml │ ├── push.yml │ └── sel4test-sim.yml ├── LICENSES ├── BSD-2-Clause.txt └── CC-BY-SA-4.0.txt ├── README.md ├── common.xml ├── default.xml └── master.xml /.github/CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/.github/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /.github/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/.github/CONTRIBUTING.md -------------------------------------------------------------------------------- /.github/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/.github/LICENSE.md -------------------------------------------------------------------------------- /.github/workflows/hw-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/.github/workflows/hw-tests.yml -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/.github/workflows/push.yml -------------------------------------------------------------------------------- /.github/workflows/sel4test-sim.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/.github/workflows/sel4test-sim.yml -------------------------------------------------------------------------------- /LICENSES/BSD-2-Clause.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/LICENSES/BSD-2-Clause.txt -------------------------------------------------------------------------------- /LICENSES/CC-BY-SA-4.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/LICENSES/CC-BY-SA-4.0.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/README.md -------------------------------------------------------------------------------- /common.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/common.xml -------------------------------------------------------------------------------- /default.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/default.xml -------------------------------------------------------------------------------- /master.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4test-manifest/HEAD/master.xml --------------------------------------------------------------------------------