This repository contains the source code of seL4 microkernel.
This repository is usually not used in isolation, but as part of the build system in a larger project.
includeandsrc: C and ASM source code of seL4tools: build toolshaskell: Haskell model of the seL4 kernel, kept in sync with the C version.libsel4: C bindings for the seL4 ABImanual: LaTeX sourced of the seL4 reference manual
tl;dr:
TOOLPREFIX=arm-none-eabi- ARCH=arm PLAT=imx31 ARMV=armv6 CPU=arm1136jf-s \
make
The kernel source requires a cross-compiler for the target architecture. To
build using make, follow these instructions:
-
Ensure that the appropriate cross-compiler for your target architecture is installed.
-
Set the
TOOLPREFIXenvironment variable to your cross-compiler's prefix. E.g.arm-none-eabi-. -
Set the
ARCH,PLAT,ARMVandCPUvariables for the intended target architecture and platform, chosen from the following lists:ARCH PLAT ARMV CPU arm imx31 armv6 arm1136jf-s arm omap3 armv7-a cortex-a8 arm am335x armv7-a cortex-a8 ia32 pc99 -
For a debug build, append
DEBUG=y.
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.