mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-16 00:55:21 +00:00
The commit will improve diagnostics, if a core thread dies (which should never happen) with an hardware exception beside a page fault, e.g. general protection fault or undefined opcode. Without the commit we may not see this circumstance easily. Issue #5443