mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 06:07:59 +00:00
2147c42ec6
* Enable page-fault messages for regions not directly managed by core * Unify output given when a page-fault occurs related to those regions Fix #2082 |
||
---|---|---|
.. | ||
etc | ||
lib | ||
mk/spec | ||
run | ||
src | ||
README |
This repository contains the Linux-specific implementation of Genode.