genode/repos/base-fiasco
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
..
config Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
etc base: remove SPEC variables of boards (fix #3971) 2021-01-25 13:58:09 +01:00
lib Remove Rpc_entrypoint::Native_context 2020-04-21 16:50:37 +02:00
patches fiasco: fix compilation with GCC 6 2017-05-31 13:15:57 +02:00
ports Replace SHA1 hashes of port downloads with SHA256 2018-05-30 13:36:22 +02:00
recipes/src/base-fiasco depot: update recipe hashes 2021-03-12 12:08:24 +01:00
src core: kernel-agnostic 'Mapping' type 2021-04-20 12:10:57 +02:00
README base-fiasco: coding style 2020-12-09 14:02:11 +01:00

This repository contains the L4/Fiasco-specific implementation of Genode.