genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-11 05:31:28 +00:00

History

Norman Feske dc89ebf978 core: kernel-agnostic 'Mapping' type

This patch unifies the core-internal 'Mapping' type across all base
platforms.

As one minor downside on seL4, the diagnostic error messages when
observing faults other than page faults no longer print the faulting
thread and PD names.

Issue #2243

2021-04-20 12:10:57 +02:00

etc

base: remove SPEC variables of boards (fix #3971 )

2021-01-25 13:58:09 +01:00

include

base: refactor VM/vCPU API

2021-02-23 12:07:18 +01:00

lib/mk

base: lay groundwork for base-linux caps change

2020-02-27 14:46:58 +01:00

mk/spec

Disambiguate kernel-specific file names

2016-12-23 16:51:32 +01:00

patches

Move repositories to 'repos/' subdirectory

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

ports

vbox5: enable 64bit SVM support

2021-02-23 12:02:42 +01:00

recipes

depot: update recipe hashes

2021-03-12 12:08:24 +01:00

run

base: rm first-class support for static binaries

2018-08-02 14:36:38 +02:00

src

core: kernel-agnostic 'Mapping' type

2021-04-20 12:10:57 +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':