genode

History

Martin Stein ba321c20d1 hw vea9x4: let userland timer SP804 0/1 be secure Declaring the SP804 0/1 module and its interrupt to be non-secure prevents the secure Genode from receiving the interrupt and hence the timer driver in the secure Genode doesn't work. Fixes #1340		2015-01-06 15:16:02 +01:00
..
imx53	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
include	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
vea9x4	hw vea9x4: let userland timer SP804 0/1 be secure	2015-01-06 15:16:02 +01:00
README	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00

README

This is a small example virtual machine monitor, that uses the base-hw kernel
as TrustZone micro-hypervisor on the ARM Versatile Express CT A9x4 platform.
The VMM configures TrustZone Protection Controller and Address Space Controller
in a way, that allows a guest to access nearly all devices, and the DDR-RAM.
Only few resources needed by the kernel (timer, SRAM) aren't accessable by the
virtual-machine.

Moreover, the VMM prepares the guest memory with a Linux image, and ramdisk,
and boots it. For the Linux guest to work properly a small patch, and tweaked
configuration is needed. Please checkout the following branch to test it:

  https://github.com/skalk/linux/tree/vexpress-tz

To build linux do:

! make ARCH=arm CROSS_COMPILE=<path_to_cross_compiler> vexpress_tz_defconfig
! make ARCH=arm CROSS_COMPILE=<path_to_cross_compiler>