mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 06:31:10 +00:00
* Introduce a hw specific Address_space interface for protection domains, which combines all memory-virtualization related functionality * Introduce a core-specific Platform_pd object that solves all the hen-egg problems formerly distributed in kernel and core-platform code Ref #595 Ref #1443