On 4 July 2013 21:40, Richard Henderson <r...@twiddle.net> wrote: > GCC 4.8 defines a handy __ARM_ARCH symbol that we can use, which > will make us nicely forward compatible with ARMv8 AArch32. > > Signed-off-by: Richard Henderson <r...@twiddle.net>
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> -- PMM
