Problem in Xilkernel

[Pablo]

I have a problem when I try to use Xilkernel in a Spartan 3E. I
initialize the "xilkernel_main()", and all seems to be OK. The problem
is that I can't launch the first thread stored in the
"static_pthread_table".

Is there some manual???
Here is the output, the mss file and code for the application:

-- Entering main() --
XMK: Start
XMK: Initializing Hardware...
XMK: Initializing PIT device.
XMK: System initialization...
XMK: Enabling interrupts and starting system...
Idle Task
Idle Task
Idle Task
Idle Task
Idle Task
Idle Task
Idle Task
Idle Task
Idle Task
Idle Task
..........

BEGIN OS
PARAMETER OS_NAME = xilkernel
PARAMETER OS_VER = 3.00.a
PARAMETER PROC_INSTANCE = microblaze_0
PARAMETER stdout = RS232_DCE
PARAMETER stdin = RS232_DCE
PARAMETER systmr_dev = opb_timer_1
PARAMETER config_debug_support = true
PARAMETER verbose = true
PARAMETER sched_type = SCHED_PRIO
PARAMETER systmr_interval = 5
PARAMETER systmr_freq = 50000000
PARAMETER static_pthread_table = ((setup,1))
END

-------------
#include "xmk.h"
#include "os_config.h"
#include "sys/process.h"
#include "pthread.h"
#include "xparameters.h"
#include "stdio.h"
#include "stdlib.h"
#include "string.h"


//====================================================
void* setup();
int main() {


print("-- Entering main() --\r\n");

xilkernel_main();
}

void* setup()
{
print("Hello world \r\n");
return 0;
}

 

[Pablo]

I've already solved it.

 

[Jone_yang]

I have got the same problem.What is the reason?How do you solve it?
I really need your help.
Thank you very much

--http://compgroups.net/comp.arch.fpga/problem-in-xilkernel/78179