blob: 23f82302045be734a1fdf8156988ddddebc0df11 (
plain)
1
2
3
4
5
6
7
8
9
10
|
\chapter{Debugging}
\label{debug}
L4 does not support debugging. So every task has to implement a debug
interface and implement debugging locally. gdb needs to be changed to
make use of this interface. How to perform the required
authentication, and how the debug thread is advertised to gdb, and how
the debug interface should look like, are all open questions.
|
