Merge branch 'master' into arm_hyp
This commit is contained in:
Gerwin Klein
commit
fb52c4f239
5 changed files with 74 additions and 51 deletions
14
Kconfig
14
Kconfig
|
|
@ -62,13 +62,6 @@ config ARM_HYPERVISOR_SUPPORT
|
|||
help
|
||||
Support for ARM1136JF-S
|
||||
|
||||
config ARM926EJ_S
|
||||
bool "ARM926EJ-S"
|
||||
depends on ARCH_ARM
|
||||
select ARCH_ARM_V5
|
||||
help
|
||||
Support for ARM926EJ_S
|
||||
|
||||
config ARM_CORTEX_A8
|
||||
bool "Cortex A8"
|
||||
depends on ARCH_ARM
|
||||
|
|
@ -104,13 +97,6 @@ config ARM_HYPERVISOR_SUPPORT
|
|||
help
|
||||
Support for the KZM platform
|
||||
|
||||
config PLAT_INTEGRATORCP
|
||||
bool "IntegratorCP Platform"
|
||||
depends on ARCH_ARM
|
||||
depends on ARM926EJ_S
|
||||
help
|
||||
Support for the IntegratorCP platform
|
||||
|
||||
config PLAT_OMAP3
|
||||
bool "OMAP3 (BeagleBoard)"
|
||||
depends on ARCH_ARM
|
||||
|
|
|
|||
2
Makefile
2
Makefile
|
|
@ -147,7 +147,7 @@ default: all
|
|||
### Paths
|
||||
############################################################
|
||||
|
||||
PYTHONPATH = ${SOURCE_ROOT}/tools
|
||||
PYTHONPATH := ${PYTHONPATH}:${SOURCE_ROOT}/tools
|
||||
export PYTHONPATH
|
||||
|
||||
vpath %.c ${SOURCE_ROOT}
|
||||
|
|
|
|||
35
README
35
README
|
|
@ -1,35 +0,0 @@
|
|||
#
|
||||
# Copyright 2014, General Dynamics C4 Systems
|
||||
#
|
||||
# This software may be distributed and modified according to the terms of
|
||||
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
|
||||
# See "LICENSE_GPLv2.txt" for details.
|
||||
#
|
||||
# @TAG(GD_GPL)
|
||||
#
|
||||
|
||||
'make' instructions
|
||||
===================
|
||||
|
||||
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 is installed.
|
||||
|
||||
* Set the TOOLPREFIX environment variable to your cross-compiler's prefix. E.g.
|
||||
arm-none-eabi-.
|
||||
|
||||
* Set the ARCH, PLAT, ARMV and CPU variables 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".
|
||||
72
README.md
Normal file
72
README.md
Normal file
|
|
@ -0,0 +1,72 @@
|
|||
<!--
|
||||
Copyright 2014, General Dynamics C4 Systems
|
||||
|
||||
This software may be distributed and modified according to the terms of
|
||||
the GNU General Public License version 2. Note that NO WARRANTY is provided.
|
||||
See "LICENSE_GPLv2.txt" for details.
|
||||
|
||||
@TAG(GD_GPL)
|
||||
-->
|
||||
|
||||
The seL4 Repository
|
||||
===================
|
||||
|
||||
This repository contains the source code of seL4 microkernel.
|
||||
|
||||
For details about the seL4 microkernel, including details about the proof,
|
||||
please see the [`sel4.systems`][1] website and associated [FAQ][2].
|
||||
|
||||
This repository is usually not used in isolation, but as part of the build
|
||||
system in a larger project.
|
||||
|
||||
[1]: http://sel4.systems/
|
||||
[2]: http://sel4.systems/FAQ/
|
||||
|
||||
|
||||
Repository Overview
|
||||
-------------------
|
||||
|
||||
* `include` and `src`: C and ASM source code of seL4
|
||||
* `tools`: build tools
|
||||
* `haskell`: Haskell model of the seL4 kernel,
|
||||
kept in sync with the C version.
|
||||
* `libsel4`: C bindings for the seL4 ABI
|
||||
* `manual`: LaTeX sourced of the seL4 reference manual
|
||||
|
||||
|
||||
Build Instructions
|
||||
------------------
|
||||
|
||||
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 `TOOLPREFIX` environment variable to your cross-compiler's
|
||||
prefix. E.g. `arm-none-eabi-`.
|
||||
|
||||
* Set the `ARCH`, `PLAT`, `ARMV` and `CPU` variables 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`.
|
||||
|
||||
|
||||
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.
|
||||
|
|
@ -1 +1 @@
|
|||
1.2
|
||||
1.3
|
||||
|
|
|
|||
Loading…
Reference in a new issue