mirror of https://github.com/seL4/seL4.git synced 2026-04-09 08:49:54 +00:00

Go to file

Adrian Danis aa3fc06c79 cmake: Make variables show up if previously hidden

Previously if a variable had unmet dependencies and had been hidden, by being made
an internal variable, it would not have been unhidden by the use of `option`. This
emulates the behaviour of `option` that we were wanting, but additionally using `FORCE`
to override the `INTERNAL` setting

2017-11-03 16:39:45 +11:00

configs

Add verified configuration for x64

2017-09-13 17:39:20 +10:00

include

smp: Use explicit fences instead of volatile

2017-11-03 11:39:32 +11:00

libsel4

cmake: Avoid placing lists in generator expressions

2017-11-03 13:49:37 +11:00

manual

Manual: Delete a sentence that's not valid anymore

2017-10-24 15:09:16 +11:00

src

Declare and check IPC buffer size

2017-10-27 16:12:18 +11:00

tools

cmake: Make variables show up if previously hidden

2017-11-03 16:39:45 +11:00

.gitignore

Add gitignore for parsetab.py

2017-03-01 10:49:37 +11:00

.licenseignore

Add CHANGES to license ignore

2017-09-06 14:34:50 +10:00

CAVEATS-generic.txt

README.md: Update README for verified platform

2016-06-27 09:41:45 +10:00

CAVEATS-ia32.txt

Release snapshot

2014-07-18 05:03:59 +10:00

CHANGES

libsel4: Remove bitfield type unifying Guard and Badge construction

2017-10-27 12:15:09 +11:00

CMakeLists.txt

cmake: Invoke compilations without echo and xargs

2017-11-03 13:49:37 +11:00

config.cmake

proof: Do not override proof variables

2017-09-20 14:26:11 +10:00

CONTRIBUTING.md

Fix licenses (the rest)

2017-06-22 15:29:12 +10:00

CONTRIBUTORS.md

more CONTRIBUTORS

2015-10-14 10:01:39 +11:00

gcc.cmake

cmake: Easier setting of ARM cross compiler

2017-10-27 13:55:46 +11:00

gdb-macros

SELFOUR-317: rename async endpoint to notification object, and other

2015-11-09 17:18:43 +11:00

Kconfig

Merge branch zcu102-7.0.0 into master

2017-10-03 12:16:08 +11:00

LICENSE_BSD2.txt

Fix licenses (the rest)

2017-06-22 15:29:12 +10:00

LICENSE_GPLv2.txt

adjust LICENSE file name to header reference.

2014-07-18 09:24:29 +02:00

Makefile

Added 32-bit support for the zynqmp.

2017-09-27 12:58:49 -04:00

README.md

Remove outdated build instructions

2017-10-24 11:38:28 +11:00

VERSION

update VERSION file to 7.0.0-dev

2017-09-05 11:58:10 +10:00

README.md

The seL4 Repository

This repository contains the source code of seL4 microkernel.

For details about the seL4 microkernel, including details about its formal correctness proof, please see the sel4.systems website and associated FAQ.

DOIs for citing recent releases of this repository:

We welcome contributions to seL4. Please see the website for information on how to contribute.

This repository is usually not used in isolation, but as part of the build system in a larger project.

Repository Overview

include and src: C and ASM source code of seL4
tools: build tools
libsel4: C bindings for the seL4 ABI
manual: LaTeX sources of the seL4 reference manual

Build Instructions

See the seL4 website for build instructions.

License

The files in this repository are released under standard open source licenses. Please see the individual file headers and LICENSE_GPLv2.txt and LICENSE_BSD2.txt files for details.

Languages

C 72.7%

Python 9.5%

CMake 6.1%

TeX 5.9%

Assembly 2.7%

Other 3.1%