I may create a uclinux.git on git.kernel.org as well, if it looks
like that might be useful.
Would it be appropriate to merge/move the nios2 branch Thomas is maintaining (and that sometimes suffers from bandwidth problems of the hosting server) ?

-Michael
_______________________________________________
uClinux-dev mailing list
[email protected]
http://mailman.uclinux.org/mailman/listinfo/uclinux-dev
This message was resent by [email protected]
To unsubscribe see:
http://mailman.uclinux.org/mailman/options/uclinux-dev

Reply via email to