[Xenomai] RTDM driver for Xilinx Zynq PS UART

2014-05-21 Thread Jeff Webb
Has anyone written an RTDM driver for the Xilinx Zynq PS UART? If not, I assume the best way to obtain one would be to start with the Xilinx-provided linux driver (xilinx_uartps.c) and port it to RTDM. Is there a "HOWTO" or other documentation for the porting process? Without further directi

Re: [Xenomai] which stable ipipe version and kernel ?

2014-05-21 Thread Philippe Gerum
On 05/21/2014 11:42 AM, Stéphane ANCELOT wrote: No sorry, I made a mistake, it is an x86 - 64 bits platform Then this one will do, http://download.gna.org/adeos/patches/v3.x/x86/ipipe-core-3.10.32-x86-2.patch. 3.14 is currently in the testing stage at git://git.xenomai.org/ipipe.git, but n

Re: [Xenomai] which stable ipipe version and kernel ?

2014-05-21 Thread Stéphane ANCELOT
No sorry, I made a mistake, it is an x86 - 64 bits platform On 20/05/2014 16:11, Philippe Gerum wrote: On 05/20/2014 04:02 PM, Stéphane ANCELOT wrote: Hi, I need building a stable 3.x kernel ia64 bits, which ipipe to use ? If you really mean Itanium, then there will be no support for thi