mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 11:50:24 +00:00
With this patch, diagnostic messages generated by core's region-map handling are printed only if the PD session is created with 'diag' mode enabled.
This directory contains all source codes.