The seL4.systems website is built on a templating engine based on PSP
It requires a python 3 mod_python for Apache2.
The directory docker/ provides a docker file and some scripts to host
the website inside a container. It is also used for GitHub pull request
checks and preview.
To use the docker container locally, install docker and run
cd docker
makeThis will build the container (takes a while the first time), and then run it such that you can preview the website on port 8080 on your local machine.
Files in this repository (with a few exceptions) are released under standard open source licences, identified by SPDX Licence tags. See individual file headers for details.
As a general rule, code files are under GPL v2, and documents under the Creative Commons Licence CC-BY-SA (4.0 International) licence.
This repository also contains a copy of the Bootstrap CSS, which is licensed under the MIT Licence.
Some files contain representations of trademarks. Irrespective of any licence markings, logos and trademarks in this repository are owned by their respective owners. No licenses or other rights in or to such logos and/or trademarks are granted. The Trademark guidelines for the seL4 Foundation can be found at https://sel4.systems/Foundation/Trademark
Permission to use pictures of people have been granted for display on the seL4.systems website only. Please do not use them for any other purpose.