mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-30 07:36:47 +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.