Christian Prochaska 46374a6932 gdb_monitor: show correct register state on FOC ...

On Genode/Fiasco.OC, when an unresolved page fault occurs, only the IP and
SP registers are valid in the thread state read by GDB monitor. This was
not taken into account so far and the other (possibly outdated) register
values got reported to the client, too.

With this patch, only IP and SP get reported to the client in the page
fault case.

Fixes #1063.

2014-02-28 10:11:08 +01:00

..

app

Arora: fix the demo launchpad configuration

2014-01-27 18:54:05 +01:00

lib

gdb_monitor: show correct register state on FOC

2014-02-28 10:11:08 +01:00

noux

noux & 64bit: fix printf format-warning

2014-02-25 14:58:05 +01:00

noux-pkg

Noux: fix build process of more 'e2fsprogs' programs

2014-02-25 14:58:09 +01:00

test

noux_fork: raise MAX_COUNT to 1000

2014-02-25 14:58:05 +01:00

vancouver

Generalization of nitpicker's graphics backend

2014-01-27 18:54:06 +01:00