Christian Prochaska a46de84f89 Fix race condition in page fault notification ... When a page fault cannot be resolved, the GDB monitor can get a hint about which thread faulted by evaluating the thread state object returned by 'Cpu_session::state()'. Unfortunately, with the current implementation, the signal which informs GDB monitor about the page fault is sent before the thread state object of the faulted thread has been updated, so it can happen that the faulted thread cannot be determined immediately after receiving the signal. With this commit, the thread state gets updated before the signal is sent. At least on base-nova it can also happen that the thread state is not accessible yet after receiving the page fault notification. For this reason, GDB monitor needs to retry its query until the state is accessible. Fixes #1206.		2014-07-24 10:18:07 +02:00
..
arm/kernel	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
base	Fix race condition in page fault notification	2014-07-24 10:18:07 +02:00
cpu_session	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
exynos5_uart/drivers	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
irq_session	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
kernel	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
pl011/drivers	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
platform	hw: map a dataspace in core according to its flags	2014-07-24 10:18:06 +02:00
signal_session	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
tl16c750/drivers	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
vm_session	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00