Hi Bahadir, > Do you want to try our v0.5 sources, or would you rather go with the > open git.l4dev.org sources?
I'd prefer to go with the open-source version to enable users of Genode to give Codezero a quick try with no strings attached. With the proprietary version, this is not possible ATM. Hence, I would appreciate you making these minor fixes available at your public Git repository. Otherwise, we will need to maintain a (potentially) growing set of patches local in the Genode tree, which would be unfortunate. Best regards Norman _______________________________________________ codezero-devel mailing list codezero-devel@lists.l4dev.org http://lists.l4dev.org/mailman/listinfo/codezero-devel_lists.l4dev.org
