PING: PATCHES for AVX

[Mark Kettenis]

> Date: Thu, 18 Mar 2010 13:09:08 -0700
> From: "H.J. Lu" <hjl.tools@gmail.com>
> 
> Hi,
> 
> Any comments/suggestions for AVX support:
> 
> http://sourceware.org/ml/gdb-patches/2010-03/msg00262.html
> http://sourceware.org/ml/gdb-patches/2010-03/msg00481.html
> http://sourceware.org/ml/gdb-patches/2010-03/msg00482.html
> http://sourceware.org/ml/gdb-patches/2010-03/msg00464.html
> http://sourceware.org/ml/gdb-patches/2010-03/msg00465.html
> 
> Thanks.

Sorry.  I will review these eventually, but I won't have time until
next week.