| <?xml version="1.0"?> | |
| <!-- Copyright (C) 2013-2017 Free Software Foundation, Inc. | |
| 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 --> | |
| <!DOCTYPE target SYSTEM "gdb-target.dtd"> | |
| <target> | |
| <architecture>i386:x86-64</architecture> | |
| <xi:include href="64bit-core.xml"/> | |
| <xi:include href="64bit-sse.xml"/> | |
| <xi:include href="64bit-mpx.xml"/> | |
| </target> |