Skip to content
The seL4 microkernel
C Python C++ TeX CMake HyPhy Other
Branch: master
Clone or download

Latest commit

xurtis Invert address mapping diagrams
This makes all daigrams have their first address at the end of the
diagram and their last address at the start of the diagram.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
Latest commit 6fbee8b May 22, 2020

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.github/workflows github: invoke git status correctly May 12, 2020
.reuse dep5 file for additional license information Mar 9, 2020
LICENSES Revised kernel printf implementation May 19, 2020
configs riscv: change verified target to hifive Mar 19, 2020
include Invert address mapping diagrams May 22, 2020
libsel4 aarch32: Move tpidruro from vcpu to tcb context May 15, 2020
manual manual: minor change to the exceptions section Mar 20, 2020
src trivial: fix header files May 22, 2020
tools review Linux-derived dts file license Mar 9, 2020
.cmake-format.yaml Convert license tags to SPDX identifiers Mar 9, 2020
.gitignore Convert license tags to SPDX identifiers Mar 9, 2020
.licenseignore update license information in README Mar 9, 2020
CAVEATS-generic.md converted CAVEAT file content into .md Mar 11, 2020
CAVEATS-ia32.md converted CAVEAT file content into .md Mar 11, 2020
CHANGES aarch32: Move tpidruro from vcpu to tcb context May 15, 2020
CMakeLists.txt riscv: Enable compiler flag for FPU for RV64 May 7, 2020
CODE_OF_CONDUCT.md add link to code of conduct Apr 1, 2020
CONTRIBUTING.md contributing: link to TSC Apr 7, 2020
CONTRIBUTORS.md update CONTRIBUTORS.md from repo Mar 10, 2020
FindseL4.cmake Convert license tags to SPDX identifiers Mar 9, 2020
LICENSE.md extract license remark into own file Apr 1, 2020
README.md README.md: Update with links from seL4 docsite Apr 7, 2020
VERSION Update VERSION file to 11.0.0-dev Nov 20, 2019
config.cmake Enabled IPC debug features under new config Apr 6, 2020
gcc.cmake gcc.cmake Add additional RISCV toolchains Apr 7, 2020
gdb-macros Convert license tags to SPDX identifiers Mar 9, 2020
llvm.cmake gcc.cmake: Don't use CACHE when setting variables Mar 17, 2020

README.md

The seL4 microkernel

This project 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:

  • DOI

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.

seL4 Basics

Community

Manual

A hosted version of the manual for the most recent release can be found here.

A web version of the API can be found here

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.

Status

A list of releases and current project status can be found under seL4 releases.

You can’t perform that action at this time.