1<?xml version="1.0"?>
2<!-- Copyright (C) 2012-2013 Free Software Foundation, Inc.
3
4     Copying and distribution of this file, with or without modification,
5     are permitted in any medium without royalty provided the copyright
6     notice and this notice are preserved.  -->
7
8<!-- X32 with AVX -->
9
10<!DOCTYPE target SYSTEM "gdb-target.dtd">
11<target>
12  <architecture>i386:x64-32</architecture>
13  <xi:include href="x32-core.xml"/>
14  <xi:include href="64bit-sse.xml"/>
15  <xi:include href="64bit-avx.xml"/>
16</target>
17