mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 18:18:54 +00:00
381711dbea
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 |
||
---|---|---|
.. | ||
ipc_msgbuf.h | ||
native_types.h | ||
pager.h |