genodelabs/genode — Issue #20: NOVA: hangs when repeatedly starting and killing testnit
Author: nfeske
Created: 2011-12-20 09:09:05+00:00
State: open
Labels: bug

Apparently, there is a race condition in the page-fault handling of the NOVA base platform. It triggers when subsequently starting and killing instances of testnit in Genode's default demo scenario.