You might also find that you need to build the Linux (as oposed to the ucLinux) image , as building against the wrong API can have some damn wierd effects, and put it on the axis box. From there , the easiest way to build is to whack a reference to the executable in the make list in the root of the directory, make the package (It's pretty quick), the images, and do a ./ktest .
Beautifulll , *relatively* simple, and quick.
BTW quick tip..... Put in a make target in the package directory like INTEL: or something, that builds a standard gcc i386 linux type executable, this makes quick testing alot easier.....