2 <!-- Copyright (C) 2013-2016 Free Software Foundation, Inc.
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. -->
8 <!-- I386 with MPX- Includes Linux-only special "register". -->
10 <!DOCTYPE target SYSTEM
"gdb-target.dtd">
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"/>
17 <xi:include href=
"32bit-mpx.xml"/>
This page took 0.028706 seconds and 4 git commands to generate.