| <!-- | |
| Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) | |
| SPDX-License-Identifier: CC-BY-SA-4.0 | |
| --> | |
| # Code of Conduct | |
| This repository and interactions with it fall under the [seL4 Code of Conduct][1] available from the [seL4 website][2]. | |
| [1]: https://docs.sel4.systems/processes/conduct.html | |
| [2]: https://sel4.systems |