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