genode

mirror of https://github.com/genodelabs/genode.git synced 2025-01-31 16:35:28 +00:00

History

Alexander Boettcher 51489e2f82 vmm: fix overmap attempts by seoul and vbox

If the debug branch of the nova kernel is used, following messages are printed
by the kernel during vCPU setup phase:

[0] overmap attempt OBJ - tree - ...

Fixes #1324

2014-12-19 13:58:46 +01: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

vmm: fix overmap attempts by seoul and vbox

2014-12-19 13:58:46 +01:00

lib/mk

base: interface for D- and I-cache synchronization

2014-05-27 11:14:45 +02:00

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

nova: update to r7 branch

2014-11-28 12:00:44 +01:00

run

Bootable GRUB2 disk image with ext2 partition

2014-08-18 13:25:21 +02:00

src

vmm: fix overmap attempts by seoul and vbox

2014-12-19 13:58:46 +01:00

Makefile

Enable hash checks for ports mechanism

2014-05-27 13:45:03 +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':