Problem in Xilkernel

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; }

Reply to
Pablo
Loading thread data ...

I've already solved it.

Reply to
Pablo

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

--

formatting link

Reply to
Jone_yang

ElectronDepot website is not affiliated with any of the manufacturers or service providers discussed here. All logos and trade names are the property of their respective owners.