1 #source
: empty
.s
-mips32r2
-mfp64
5 [^
:]*: file format elf32
-.*
8 0x70000003 off
0x0000.... vaddr
0x004000.. paddr
0x004000.. align 2\
*\
*3
9 filesz
0x00000018 memsz
0x00000018 flags r
--
11 private flags
= 70001000: \
[abi
=O32\
] \
[mips32r2\
] \
[not 32bitmode\
]
13 MIPS ABI Flags Version
: 0
19 FP ABI
: Hard
float \
(32-bit CPU
, 64-bit FPU\
)