ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
dc8c899c1d
genode/repos/base-foc
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
..
config base: remove SPEC variables of boards (fix #3971) 2021-01-25 13:58:09 +01:00
etc base: remove SPEC variables of boards (fix #3971) 2021-01-25 13:58:09 +01:00
include Remove Cpu_session::Native_cpu definition from API 2021-01-25 13:58:09 +01:00
lib base: refactor VM/vCPU API 2021-02-23 12:07:18 +01:00
patches Retire OMAP4 support 2020-04-17 12:39:32 +02:00
ports sel4 + foc: extend port's tool check rules 2020-10-09 13:35:56 +02:00
recipes/src depot: update recipe hashes 2021-03-12 12:08:24 +01:00
run base-foc: update cap_integrity.run 2020-11-28 19:37:15 +01:00
src core: kernel-agnostic 'Mapping' type 2021-04-20 12:10:57 +02:00
README base-foc: remove stale README content 2020-12-09 14:02:11 +01:00

README 

This repository contains the port of Genode to the Fiasco.OC microkernel.

:[https://os.inf.tu-dresden.de/fiasco]:
  Official website for the Fiasco.OC microkernel