Simple custom pager

Norman Feske norman.feske at ...1...
Sat Jul 16 11:03:04 CEST 2011

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

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

More information about the users mailing list