Re: [Xenomai] [PATCH] IPIPE patch for BCM2709/RPI2 (version #5)

Hi guys, So I have been playing around with the Raspberry Pi 2 for a couple of days now. And I keep noticing that at random times, but usually in a matter of seconds / minutes when there is a couple of hundreds of ko/s ethernet traffic, the device will freeze entirely. I have tried a few things,

[Xenomai] Missing rtdm_lock_get_irqsave() in API docs

Hi guys. I have found that the function call rtdm_lock_get_irqsave() is missing from the API documentation. The complimentary call rtdm_lock_put_irqrestore() is listed under: RTDM -> Driver programming interface -> Synchronisation Services -> Spinlock with preemption deactivation. I found the rtdm

Re: [Xenomai] Process shared rt_event_wait() never signaled on ARM with Mercury core

k_was_saved = 0}}, __pad = {0xbefffbe8, 0x0, 0xb6cb0094, 0x11169 }} __not_first_call = status = #4 0xb6fa15d6 in threadobj_start (thobj=thobj@entry=0xb6cb0094) at ../../../xenomai-3.0.1/lib/copperplate/threadobj.c:1247 ret = 0 oldstate = 1 #5 0x