genodelabs/genode — Issue #16: Pistachio: rm-fault handling (was mantis id 71)
Author: nfeske
Created: 2011-12-20 09:05:40+00:00
State: open

The RM fault handling on Pistachio does not work yet. The problem seems to be that the pager thread receives page faults as short IPC messages whereas core-local wake-up notifications are sent to the pager as long IPC messages (via the Genode IPC framework). Hence, the pager thread wrongly considers wakeup messages as IPC errors. My proposed solution is to replace the use of the IPC framework (in 'include/base/pager.h') for the core-internal wake-up call by a kernel-specific implementation of 'Pager_object::wake_up'.

For testing, the 'base/run/rm_fault.run' script can be used.