2013-11-20 13:01:09 +01:00
|
|
|
<?xml version="1.0"?>
|
2015-01-01 10:32:14 +01:00
|
|
|
<!-- Copyright (C) 2013-2015 Free Software Foundation, Inc.
|
2013-11-20 13:01:09 +01:00
|
|
|
|
|
|
|
|
Copying and distribution of this file, with or without modification,
|
|
|
|
|
are permitted in any medium without royalty provided the copyright
|
|
|
|
|
notice and this notice are preserved. -->
|
|
|
|
|
|
|
|
|
|
<!-- AMD64 with MPX - Includes Linux-only special "register". -->
|
|
|
|
|
|
|
|
|
|
<!DOCTYPE target SYSTEM "gdb-target.dtd">
|
|
|
|
|
<target>
|
|
|
|
|
<architecture>i386:x86-64</architecture>
|
|
|
|
|
<osabi>GNU/Linux</osabi>
|
|
|
|
|
<xi:include href="64bit-core.xml"/>
|
|
|
|
|
<xi:include href="64bit-sse.xml"/>
|
|
|
|
|
<xi:include href="64bit-linux.xml"/>
|
|
|
|
|
<xi:include href="64bit-avx.xml"/>
|
|
|
|
|
<xi:include href="64bit-mpx.xml"/>
|
|
|
|
|
</target>
|
