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