Simple custom pager
norman.feske at ...1...
Sat Jul 16 11:03:04 CEST 2011
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.
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)
> 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!
More information about the users