dimension. Use at your own risk. And keep the reset button in reach.
-Community
----------
+Community Resources
+-------------------
Project home:
- https://github.com/siemens/jailhouse.git
- git@github.com:siemens/jailhouse.git
+Frequently Asked Questions (FAQ):
+
+ - See [FAQ file](FAQ.md)
+
Mailing list:
- jailhouse-dev@googlegroups.com
- Archives
- http://news.gmane.org/gmane.linux.jailhouse
-Continuous Integration:
+Continuous integration:
- https://travis-ci.org/siemens/jailhouse
- ![](https://travis-ci.org/siemens/jailhouse.svg?branch=master) on master
- ![](https://travis-ci.org/siemens/jailhouse.svg?branch=next) on next
+Static code analysis:
+
+ - https://scan.coverity.com/projects/4114
+
+ - Status:
+ - ![](https://scan.coverity.com/projects/4114/badge.svg) on coverity_scan
+
See the [contribution documentation](CONTRIBUTING.md) for details
on how to write Jailhouse patches and propose them for upstream integration.
- at least 2 logical CPUs
- x86-64 Linux kernel (tested against >= 3.14)
+
- VT-d IOMMU usage (DMAR) has to be disabled in the Linux kernel, e.g. via
the command line parameter:
- To exploit the faster x2APIC, interrupt remapping needs to be on in the
kernel (check for CONFIG_IRQ_REMAP)
+ARM architecture:
+
+ - Abstract:
+
+ - ARMv7 with virtualization extensions
+
+ - Appropriate boot loader support (typically U-Boot)
+ - Linux is started in HYP mode
+ - PSCI support for CPU offlining
+
+ - at least 2 logical CPUs
+
+ - Board support:
+
+ - Banana Pi (see also [below](#setup-on-banana-pi-arm-board))
+
+ - NVIDIA Jetson TK1
+
+ - ARM Versatile Express with Cortex-A15 or A7 cores
+ (includes ARM Fast Model)
+
Build & Installation
--------------------
comparably well hackable. Further information can be found on
http://linux-sunxi.org.
-For Jailhouse, U-Boot currently requires a few additional patches that can be
-retrieved from https://github.com/siemens/u-boot/commits/sunxi.
+For Jailhouse, a U-Boot (pre-)release more recent than v2015.04-rc1 is
+required. Tested and know to work is git revision bd2a4888b1.
The Linux kernel version should be at least 3.19-rcX. The configuration used
for continuous integration builds can serve as reference, see