> 3.2+ would be better than 3.1+ > > Remember that 3.2 would have been named 3.1.2 if there wasn't the C++ > ABI change, and I don't remember any big Linux distribution actually > using gcc 3.1 as default compiler.
Yes, but the kernel doesn't use C++ and afaik other than that there were only a few minor bugfixes between 3.1 and 3.2. So it doesn't make any difference for this special case. -Andi
