Hello,

As announced earlier, Genode has got a new issue tracker at Github:

http://github.com/genodelabs/genode/issues

Please use this tracker to report and discuss Genode-related issues. The old public tracker at Sourceforge is still there but all issues have been either closed or migrated to Github.

Cheers Norman