From: Nick Desaulniers > Sent: 14 January 2020 21:39 ... > Yeah, hard requirement sounds good to me. Arnd, do you have stats on which > distros have which versions of GCC (IIRC, you had some stats for the GCC 4.6 > upgrade)? This allows us to clean up more cruft in the kernel (grep for > GCC_VERSION). FWIW My Ubuntu 13.04 system has gcc 4.7.3. (Actually, looking in /usr/bin there is a copy of 4.8.1 from the original install.) David - Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UK Registration No: 1397386 (Wales)