mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 06:57:51 +00:00
dc89ebf978
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 |
||
---|---|---|
.. | ||
board | ||
etc | ||
include | ||
lib/mk | ||
recipes | ||
run | ||
src |