Re: [codezero-devel] patch: support for using non-bare tool chains for the kernel

2011-09-12 Thread Norman Feske
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.

Re: [codezero-devel] patch: support for using non-bare tool chains for the kernel

2011-09-12 Thread Bahadir Balban
Hi Norman, Do you want to try our v0.5 sources, or would you rather go with the open git.l4dev.org sources? Thanks, Bahadir On Mon, 2011-09-12 at 20:51 +0200, Norman Feske wrote: > Hi Amit, > > thank you for considering my suggestions. Will you push the updates to > git.l4dev.org? > > Thanks

Re: [codezero-devel] patch: support for using non-bare tool chains for the kernel

2011-09-12 Thread Norman Feske
Hi Amit, thank you for considering my suggestions. Will you push the updates to git.l4dev.org? Thanks Norman ___ codezero-devel mailing list [email protected] http://lists.l4dev.org/mailman/listinfo/codezero-devel_lists.l4dev.org