1<?xml version="1.0"?>
2<!-- Copyright (C) 2010-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<!-- AMD64 with AVX - Includes Linux-only special "register".  -->
9
10<!DOCTYPE target SYSTEM "gdb-target.dtd">
11<target>
12  <architecture>i386:x86-64</architecture>
13  <osabi>GNU/Linux</osabi>
14  <xi:include href="64bit-core.xml"/>
15  <xi:include href="64bit-sse.xml"/>
16  <xi:include href="64bit-linux.xml"/>
17  <xi:include href="64bit-avx.xml"/>
18</target>
19