[okl4-developer] Hello World on arm926ejs (continued) and some questions on temporal partitioning and on POSIX.

Peter Howard peterh at ok-labs.com
Fri Nov 21 10:12:01 EST 2008


On Tue, 2008-11-18 at 12:33 +0100, Hugues Balp wrote:
> Peter Howard wrote:
> > Hugues,
> >
> > Checking round here, the SDK for the versatile is not set up, in the
> > _debug_ kernel, for use with qemu.  It (the debug kernel) is configured
> > for use on the hardware (with JTAG).  This needs to be made clear on the
> > wiki.
> >
> > To get the example going, you should use the make line
> >
> > make BUILD=production
> >
> > and then change the qemu line to refer to
> > build.micro-production/images/image.elf (or image.sim)
> >   
> Ok, it's ok with the production build, except it is less suited for 
> debugging.
> > That should allow you to see the examples running.  Going back to your
> > original email(s) I understand your intended target _is_ versatile.  If
> > you want to contact me off-list we can go through in more detail how to
> > build either from the source or re-build the SDK to have it set up as
> > you want.
> >
> >   
> Yes, I think I will have to rebuild the SDK with the qemu set up.
> The objective would be to enable debugging on the host with gdb and qemu.
> Can I try to compile from the kernel sources ?
> Is there some tricky things to do for that purpose ?
> I imagine the main build scripts are already present.

Sorry for the delay.  To build the SDK from the full source release so
you can run the debug kernel in quemu, the invocation is:

tools/build.py machine=versatile_uboot project=sdk kdb_serial=True

the sdk tarball will be in build/SDK/object/sdk/

-- 
Peter Howard <peterh at ok-labs.com>




More information about the Developer mailing list