[okl4-developer] Debugging tips for a new platform

[Joshua Root]

Geoffrey Lee wrote:
> On Thu, Jun 19, 2008 at 02:09:16PM +1000, Joshua Root wrote:
> 
>> Right, I actually have a new ixp4xx platform subdir. I'd be interested  
>> in documentation for the attributes you can set in machines.py actually,  
>> particularly which ones affect pistachio.
> 
> I think at the very least you need the memory map and subplatform
> if there is one.  Building with project=l4test should get you
> as close as to finding out the minimum the kernel requires.

Unfortunately l4test seems to be absent from this release...

>>> I just took a brief look at the Skyeye source code and it seems there
>>> is support for running in big endian mode.  If you specify the -e
>>> parameter it infers it from the ELF file automatically.  You may
>>> want to take a look whether it is worth trying out Skyeye, as
>>> it can give you instruction traces, and from there, you can narrow
>>> down where to look further.
>> I actually tried that, but it dies with "elf_checkFile failed: -3". Any  
>> idea what that means? Getting it running in the simulator would  
>> certainly be the quickest way forward.
> 
> A return -3 means the architecture as read in from the ELF file 
> is not supported.  Perhaps this is a bug in Skyeye?

Could be. I'm running the 1.2.1n binary linked from the wiki. I'll try a 
newer version.

- Josh