Commit | Line | Data |
---|---|---|
ccc42043 | 1 | <?xml version="1.0"?> |
618f726f | 2 | <!-- Copyright (C) 2013-2016 Free Software Foundation, Inc. |
ccc42043 WT |
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 | <!-- I386 with MPX- Includes Linux-only special "register". --> | |
9 | ||
10 | <!DOCTYPE target SYSTEM "gdb-target.dtd"> | |
11 | <target> | |
12 | <architecture>i386</architecture> | |
13 | <osabi>GNU/Linux</osabi> | |
14 | <xi:include href="32bit-core.xml"/> | |
15 | <xi:include href="32bit-sse.xml"/> | |
16 | <xi:include href="32bit-linux.xml"/> | |
ccc42043 WT |
17 | <xi:include href="32bit-mpx.xml"/> |
18 | </target> |