1<!-- 2 Copyright 2014, General Dynamics C4 Systems 3 4 This software may be distributed and modified according to the terms of 5 the GNU General Public License version 2. Note that NO WARRANTY is provided. 6 See "LICENSE_GPLv2.txt" for details. 7 8 @TAG(GD_GPL) 9--> 10 11The seL4 Repository 12=================== 13 14This repository contains the source code of seL4 microkernel. 15 16For details about the seL4 microkernel, including details about its formal 17correctness proof, please see the [`sel4.systems`][1] website and associated 18[FAQ][2]. 19 20DOIs for citing recent releases of this repository: 21 * [![DOI][4]](https://doi.org/10.5281/zenodo.591727) 22 23We welcome contributions to seL4. Please see the website for information 24on [how to contribute][3]. 25 26This repository is usually not used in isolation, but as part of the build 27system in a larger project. 28 29 [1]: http://sel4.systems/ 30 [2]: http://sel4.systems/Info/FAQ/ 31 [3]: http://sel4.systems/Community/Contributing/ 32 [4]: https://zenodo.org/badge/DOI/10.5281/zenodo.591727.svg 33 [5]: https://sel4.systems/Info/Docs/seL4-manual-latest.pdf 34 [6]: http://sel4.systems/Info/GettingStarted/ 35 36Manual 37------ 38 39A hosted version of the [manual](manual/) for the most recent release can be found [here][5]. 40 41Repository Overview 42------------------- 43 44 * `include` and `src`: C and ASM source code of seL4 45 * `tools`: build tools 46 * `libsel4`: C bindings for the seL4 ABI 47 * `manual`: LaTeX sources of the seL4 reference manual 48 49 50Build Instructions 51------------------ 52 53See the seL4 website for [build instructions][6]. 54 55License 56======= 57 58The files in this repository are released under standard open source licenses. 59Please see the individual file headers and `LICENSE_GPLv2.txt` and 60`LICENSE_BSD2.txt` files for details. 61