14.05, dde_linux patch issue?

Christian Helmuth christian.helmuth at ...1...
Mon Jun 2 12:43:42 CEST 2014

Hi Bob,

On Mon, Jun 02, 2014 at 11:52:28AM +0200, Sebastian Sumpf wrote:
> This should be fixed in Genode's staging branch
> (https://github.com/genodelabs/genode/tree/staging commit
> https://github.com/genodelabs/genode/commit/afebaf865b01ca6dcbd957cdfbacb845372dd481).

This commmit seems to have an remaining issue. Please use my patch
file sent before.

Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list