mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-12 05:55:37 +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 repository contains the Linux-specific implementation of Genode.