genode/repos/base-nova
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

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':