> 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