| <?xml version="1.0"?> | 
 | <!-- Copyright (C) 2008 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.  --> | 
 |  | 
 | <!DOCTYPE feature SYSTEM "gdb-target.dtd"> | 
 | <feature name="org.gnu.gdb.arm.core"> | 
 |   <reg name="r0" bitsize="32"/> | 
 |   <reg name="r1" bitsize="32"/> | 
 |   <reg name="r2" bitsize="32"/> | 
 |   <reg name="r3" bitsize="32"/> | 
 |   <reg name="r4" bitsize="32"/> | 
 |   <reg name="r5" bitsize="32"/> | 
 |   <reg name="r6" bitsize="32"/> | 
 |   <reg name="r7" bitsize="32"/> | 
 |   <reg name="r8" bitsize="32"/> | 
 |   <reg name="r9" bitsize="32"/> | 
 |   <reg name="r10" bitsize="32"/> | 
 |   <reg name="r11" bitsize="32"/> | 
 |   <reg name="r12" bitsize="32"/> | 
 |   <reg name="sp" bitsize="32" type="data_ptr"/> | 
 |   <reg name="lr" bitsize="32"/> | 
 |   <reg name="pc" bitsize="32" type="code_ptr"/> | 
 |  | 
 |   <!-- The CPSR is register 25, rather than register 16, because | 
 |        the FPA registers historically were placed between the PC | 
 |        and the CPSR in the "g" packet.  --> | 
 |   <reg name="cpsr" bitsize="32" regnum="25"/> | 
 | </feature> |