mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
To ease debugging without the need to tweak the kernel every time, and to support userland developers with useful information this commit extends several warnings and errors printed by the kernel/core by which thread/application caused the problem, and what exactly failed. Fix #1382 Fix #1406