l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_gdbserver/amd64-linux-valgrind.xml

   1 <?xml version="1.0"?>
   2 <!-- Copyright (C) 2010 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 <!-- AMD64 - Includes Linux-only special "register".  -->
   9
  10 <!DOCTYPE target SYSTEM "gdb-target.dtd">
  11 <target>
  12   <architecture>i386:x86-64</architecture>
  13   <osabi>GNU/Linux</osabi>
  14   <xi:include href="64bit-core.xml"/>
  15   <xi:include href="64bit-sse.xml"/>
  16   <xi:include href="64bit-linux.xml"/>
  17   <xi:include href="64bit-core-valgrind-s1.xml"/>
  18   <xi:include href="64bit-sse-valgrind-s1.xml"/>
  19   <xi:include href="64bit-linux-valgrind-s1.xml"/>
  20   <xi:include href="64bit-core-valgrind-s2.xml"/>
  21   <xi:include href="64bit-sse-valgrind-s2.xml"/>
  22   <xi:include href="64bit-linux-valgrind-s2.xml"/>
  23 </target>