Simple custom pager

[Norman Feske]

Hi Daniel,

I just want to let you know that we identified the problem yesterday.
Please expect the fix to be available at our SVN as of mid next week.

Best regards
Norman

On 07/14/2011 06:31 PM, Daniel Waddington wrote:
> Hi Stefan,
> Not to rush you, but any idea how long a fix will be?  (Just so I can 
> re-prioritize if need be)
> 
> Thanks,
> Daniel
> 
> On 07/11/2011 06:46 AM, Stefan Kalkowski wrote:
>> Hi Daniel,
>>
>> we tried to reproduce your problem, and thereby had to recognize that in
>> the current Fiasco.OC/Genode version there is something fundamentally
>> broken with the rm-fault handling. We will further investigate the
>> issue, and provide a fix as soon as possible.
>>
>> Thank you for reporting the issue!
>>
>> Regards
>> Stefan