[okl4-developer] how to test and debug

[Hal Ashburner]

On Tue, 2007-06-05 at 20:04 +0900, Seung-Ho Lim wrote:
> Hi okl4.org
>  
> I would like to know how to test and debug the elf format files such
> as image.boot / image.elf
> or l4 kernel elf file, l4kernel.

Hello Seung-Ho Lim,
I'm not 100% sure what you're asking here.
Maybe gnu binutils is what you want?
$ arm-linux-objdump -D image.elf | less
will disassemble the the binary.
$ readelf -e image.elf
will show you the section headers, segment headers and section to
segment mapping in the elf file.

The best way to test it is to boot it, I would think. Qemu is the
simulator to use for x86, 


skyeye is the one for arm.
http://www.ertos.nicta.com.au/downloads/tools/skyeye-kenge-1.2.1n.tar.gz

Both of these simulators allow you to trace instructions so you can then
look up any problems in the disassembly.

If this isn't helpful or not what you were asking then please post
again. 

-- 
Kind regards,
Hal Ashburner