Is xilkernel configurable to use 2 PPCs in a Virtex II? It seems that all the Xilinx literature I have found has xilkernel running only...

Is xilkernel configurable to use 2 PPCs in a Virtex II? It seems that all the Xilinx literature I have found has xilkernel running only one PPC. I know the xilkernel source is available, but would like to stay away from it if possible. Anyone gotten a dual-core running with xilkernel? Thanks.

Has somebody tried to config Xilkernel with the XPS. I have a Spartan 3E and XPS 8.1, and I've added Xilkernel with an opb_timer. Now I want to...

Has somebody tried to config Xilkernel with the XPS. I have a Spartan 3E and XPS 8.1, and I've added Xilkernel with an opb_timer. Now I want to probe this and I write a C program with "xil_printf". This is OK, but I want to do something with the kernel, so I write xilkernel_main (I don't know what this means but i try). The problem is: region ilmb_cntlr_dlmb_cntlr is full region ilmb_cntlr...

Hi! I'm encountering a nasty bug when using the xilkernel with floating point. I have an application that uses the FPU (connected via APU) to...

Hi! I'm encountering a nasty bug when using the xilkernel with floating point. I have an application that uses the FPU (connected via APU) to the PPC440 (EDK 10.1 SP2). When I run the application standalone everything works fine. However, when I use xilkernel and use my application as starting thread execution stops after some time. I debugged this behaviour and can see, that the CPU iss...

Can anyone explain me how to use the xilkernel. I added in the mss file the following BEGIN LIBRARY parameter library_name = xilkernel ...

Can anyone explain me how to use the xilkernel. I added in the mss file the following BEGIN LIBRARY parameter library_name = xilkernel parameter library_ver = 1.00.a parameter max_procs = 10 parameter max_readyq = 10 parameter sched_type = 2 parameter config_sema = true parameter config_msgq = true parameter config_thread_support = true parameter config_shm = true parameter...

hallo, people, I am a beginner on Xilkernel running on PPC405-Virtex 4. I just want to get interrupt generated from the OPB peripheral and...

hallo, people, I am a beginner on Xilkernel running on PPC405-Virtex 4. I just want to get interrupt generated from the OPB peripheral and the have the interrupt handler routine serviced. It seems there is a bug I can not find. The Xilkernel has no interaction with the interrupt handler routine. I have taken the example project from Xilinx website, which generates a periodic interrupts f...

hallo, people, I am a beginner on Xilkernel running on PPC405-Virtex 4. I just want to get interrupt generated from the OPB peripheral and...

hallo, people, I am a beginner on Xilkernel running on PPC405-Virtex 4. I just want to get interrupt generated from the OPB peripheral and the have the interrupt handler routine serviced. It seems there is a bug I can not find. The Xilkernel has no interaction with the interrupt handler routine. I have taken the example project from Xilinx website, which generates a periodic interrupts f...

Does any buddy have any idea or guide me to some document explaing how the budgeting can be done in XilKernel on PP405. I need the kernel...

Does any buddy have any idea or guide me to some document explaing how the budgeting can be done in XilKernel on PP405. I need the kernel to tell me when a thread is hanged or when its execution passes the allocated time. Thanks

Hello everybody, i'm building up a system where i need to use a Microblaze uP with a RTOS, and my option was the XilKernel that comes with...

Hello everybody, i'm building up a system where i need to use a Microblaze uP with a RTOS, and my option was the XilKernel that comes with Xilinx EDK. I'm using a Spartan3 starter board to test my system. After reading the Xilinx documentation on XilKernel, and also after looking to some implementation examples i started to come my embbed program. I'm building a simple test program with...

Hi, How many long Xilkernel take to startup with microblaze (System Clock : 50 MHz). On my design, the Microblaze need more than 30 second to...

Hi, How many long Xilkernel take to startup with microblaze (System Clock : 50 MHz). On my design, the Microblaze need more than 30 second to create the first thread after xil_kernel_main(). Regards, Yannick

Hi, is there a way to get the Xilkernel to run with a C++ application? I didn't find any option for this in the XPS "Software...

Hi, is there a way to get the Xilkernel to run with a C++ application? I didn't find any option for this in the XPS "Software Platform Settings". The problem I'm having is that my thread function ("TSK_Main", which is declared in the C++ application) cannot be called from libxil.a, which is a C library. This is the error message that I'm getting while trying to build the C++ application: ....

Does Xilinx microkernel (xilkernel) support for Condition Variables in Pthread?. That is, can I use code such...

Does Xilinx microkernel (xilkernel) support for Condition Variables in Pthread?. That is, can I use code such as: pthread_cond_init pthread_cond_wait Thanks for your help. Pablo Ant=FAnez

Hi, Can anybody shed some light onto a problem that I am having getting the xilkernel to behave! Essentially, I compile my simple program...

Hi, Can anybody shed some light onto a problem that I am having getting the xilkernel to behave! Essentially, I compile my simple program and the kernel keeps creating new instances of itself at run time. The prog_main() is set up as a static thread instance PARAMETER static_pthread_table = ((prog_main,1)) in the MSS file. See the ouput below (with verbose debug to true) source ...

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...

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 de...

I am running the Xilinx Software Development Kit Release Version: 11.2.00 My system has a Microblaze and is running Xilkernel. I have had...

I am running the Xilinx Software Development Kit Release Version: 11.2.00 My system has a Microblaze and is running Xilkernel. I have had good luck getting my code running with the C compiler, but now I am transitioning to C++ to allow a pile of C++ to be ported over. As a first step, I renamed all the .c files to be .cpp and got a successful compile after a few changes, most notably hav...

Hello, I try to compile an Avnet example (PPC BOOT Loader Design) with my FPGA card. when i build the projet i get the following error...

Hello, I try to compile an Avnet example (PPC BOOT Loader Design) with my FPGA card. when i build the projet i get the following error message: ERROR:MDT - xilkernel () - bash.exe: warning: could not find /tmp, please create! while executing "exec bash -c "$archiver -d ../../lib/libxil.a errno.o"" (procedure "::sw_xilkernel_v3_00_a::execs_generate" line 11) ...

Hello, I try to compile an Avnet example (PPC BOOT Loader Design) with my FPGA card. when i build the projet i get the following error...

Hello, I try to compile an Avnet example (PPC BOOT Loader Design) with my FPGA card. when i build the projet i get the following error message: ERROR:MDT - xilkernel () - bash.exe: warning: could not find /tmp, please create! while executing "exec bash -c "$archiver -d ../../lib/libxil.a errno.o"" (procedure "::sw_xilkernel_v3_00_a::execs_generate" line 11) ...

Hello, I try to compile an Avnet example (PPC BOOT Loader Design) with my FPGA card. when i build the projet i get the following error...

Hello, I try to compile an Avnet example (PPC BOOT Loader Design) with my FPGA card. when i build the projet i get the following error message: ERROR:MDT - xilkernel () - bash.exe: warning: could not find /tmp, please create! while executing "exec bash -c "$archiver -d ../../lib/libxil.a errno.o"" (procedure "::sw_xilkernel_v3_00_a::execs_generate" line 11) ...

Hi. We are a couple of guys, working on a school project. We are trying to get the Xilkernel up and running, on the Spartan 3E starter kit. We...

Hi. We are a couple of guys, working on a school project. We are trying to get the Xilkernel up and running, on the Spartan 3E starter kit. We are getting these streams from the debugger: XMK: Starting kernel. XMK: Initializing Hardware. XMK: System initialization. From these streams we can tell that the function xilkernel_init (); is running. But we expect that after xilkernel_init (); has...

Hi to all, I don't understand what is wrong with my design. Can someone give me an idea ? I design a dual microbleze with BSB ( EDK 11.5)...

Hi to all, I don't understand what is wrong with my design. Can someone give me an idea ? I design a dual microbleze with BSB ( EDK 11.5) : Microblaze_0 + RS232_UART_1 + XPS_timer, Microblaze_1 + XPS_timer, Shared resources: Mutex, Shared_bram and DDR2_SDRAM. After that, I exported hw design to SDK. This it work ok with Xilkernel in SDK, but when I add a FSL conection between the tw...

Hi all, I'm doing some performance tests with multi-threaded xilkernel applications and I always get erroneous times in programs...

Hi all, I'm doing some performance tests with multi-threaded xilkernel applications and I always get erroneous times in programs where context switches occurs continuously. I have written a trivial application that shows the problem: Two threads running without communication between them. Each one simply iterates N times and in each loop makes a yield() call. This ensures one context sw...