genode

History

Christian Prochaska 078883fda3 base: interface for D- and I-cache synchronization On ARM, when machine instructions get written into the data cache (for example by a JIT compiler), one needs to make sure that the instructions get written out to memory and read from memory into the instruction cache before they get executed. This functionality is usually provided by a kernel syscall and this patch adds a generic interface for Genode applications to use it. Fixes #1153.		2014-05-27 11:14:45 +02:00
..
doc	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
etc	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
include	base-nova: fully qualify Utcb type	2014-05-27 11:14:41 +02:00
lib/mk	base: interface for D- and I-cache synchronization	2014-05-27 11:14:45 +02:00
mk	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
patches	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
ports	base-nova: migrate to new ports mechanism	2014-05-27 11:14:43 +02:00
run	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
src	base-nova: migrate to new ports mechanism	2014-05-27 11:14:43 +02:00
Makefile	Temporarily disable hash checks	2014-05-27 11:14:44 +02:00
README	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00

README

This repository contains the port of Genode to the NOVA microhypervisor.

For more information on this base platform, please refer to the official
website.

:[http://hypervisor.org]: Official website for the NOVA microhypervisor.

For information on using Genode on NOVA, please revisit the documentation at
'base-nova/doc/nova.txt':