This repository and interactions with it fall under the seL4 Code of Conduct available from the seL4 website.