genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-07 20:00:23 +00:00

History

Christian Prochaska 71183783a2 NOVA: initialize segment and flag registers of local ECs

Make sure that the segment and flag registers of local ECs are initialized
after recall by initializing them at EC creation time.

Fixes #2000

2016-06-28 11:09:28 +02:00

doc

tool: remove deprecated 'make prepare' mechanism

2016-03-17 17:02:04 +01:00

etc

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

include

base: changes for GDB monitor

2016-05-23 15:52:49 +02:00

lib/mk

Clean up base-library structure

2016-05-09 13:24:11 +02:00

mk/spec

toolchain: report missing ports at once

2016-03-07 12:34:43 +01:00

patches

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

ports

NOVA: initialize segment and flag registers of local ECs

2016-06-28 11:09:28 +02:00

run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

src

Supplement base/log.h with raw output function

2016-06-22 12:21:42 +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':