[Buildroot] [Bug 6416] Xenomai package, patch alternative

Wed Oct 30 22:42:38 UTC 2013

https://bugs.busybox.net/show_bug.cgi?id=6416

--- Comment #1 from Thomas Petazzoni <thomas.petazzoni at free-electrons.com> 2013-10-30 22:42:37 UTC ---
I've submitted a patch to implement this suggestion, visible at
http://lists.busybox.net/pipermail/buildroot/2013-October/081479.html.

-- 
Configure bugmail: https://bugs.busybox.net/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.