1 #source
: jr
.s
-mips32r2
-mfpxx
2 #source
: jr
.s
-mips32r2
-mfp64 RUN_OBJCOPY
4 #objcopy_objects
: -R
.gnu
.attributes
7 [^
:]*: file format elf32
-.*
10 0x70000003 off
0x0000.... vaddr
0x004000.. paddr
0x004000.. align 2\
*\
*3
11 filesz
0x00000018 memsz
0x00000018 flags r
--
13 private flags
= 70001000: \
[abi
=O32\
] \
[mips32r2\
] \
[not 32bitmode\
]
15 MIPS ABI Flags Version
: 0
21 FP ABI
: Hard
float \
(32-bit CPU
, 64-bit FPU\
)