• Home
  • History
  • Annotate
  • only in this directory
NameDateSize

..25-Jul-201948

.gitignoreH A D25-Jul-2019509

.licenseignoreH A D25-Jul-2019295

CAVEATS-generic.txtH A D25-Jul-20192.8 KiB

CAVEATS-ia32.txtH A D25-Jul-2019756

CHANGESH A D25-Jul-20198.6 KiB

CMakeLists.txtH A D25-Jul-201915.7 KiB

config.cmakeH A D25-Jul-201911.2 KiB

configs/H25-Jul-20196

CONTRIBUTING.mdH A D25-Jul-20192 KiB

CONTRIBUTORS.mdH A D25-Jul-20191.4 KiB

gcc.cmakeH A D25-Jul-20192 KiB

gdb-macrosH A D25-Jul-201922 KiB

include/H25-Jul-201928

libsel4/H25-Jul-201910

LICENSE_BSD2.txtH A D25-Jul-20191.4 KiB

LICENSE_GPLv2.txtH A D25-Jul-201915.5 KiB

manual/H25-Jul-201914

README.mdH A D25-Jul-20191.7 KiB

src/H25-Jul-201918

tools/H25-Jul-201921

VERSIONH A D25-Jul-201911

README.md

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