[Xenomai-git] Philippe Gerum : cobalt/x86: upgrade I-pipe support

Module: xenomai-3 Branch: next Commit: b2ffcb119159299b95a9110095e2b9b98bdab042 URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=b2ffcb119159299b95a9110095e2b9b98bdab042 Author: Philippe Gerum Date: Wed Mar 4 09:15:54 2015 +0100 cobalt/x86: upgrade I-pipe support --- ...-x86-7.p

[Xenomai-git] Philippe Gerum : copperplate/regd: be resilient in presence of a stale / system tree

Module: xenomai-3 Branch: next Commit: 50e61ff291d4daf4d48088321aa8ed7f229a7ce1 URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=50e61ff291d4daf4d48088321aa8ed7f229a7ce1 Author: Philippe Gerum Date: Wed Mar 4 10:00:29 2015 +0100 copperplate/regd: be resilient in presence of a stale

[Xenomai-git] Philippe Gerum : cobalt/timer: fix heap-based timer management

Module: xenomai-3 Branch: next Commit: f7572f69319215ee8731177117ef0b68dd9173e2 URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=f7572f69319215ee8731177117ef0b68dd9173e2 Author: Philippe Gerum Date: Wed Mar 4 14:35:53 2015 +0100 cobalt/timer: fix heap-based timer management ---