[Xenomai-git] Philippe Gerum : rtdm/device: enable minor numbers with named devices

Module: xenomai-forge Branch: next Commit: e366d3cb7f6a9be29c20aa4c7defea640fa3db41 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=e366d3cb7f6a9be29c20aa4c7defea640fa3db41 Author: Philippe Gerum r...@xenomai.org Date: Mon Aug 11 20:50:37 2014 +0200 rtdm/device: enable minor

[Xenomai-git] Philippe Gerum : autotune: make completely silent in --quiet mode

Module: xenomai-forge Branch: next Commit: 661a683acd7af9a1618f05e5ac63f732efcbea26 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=661a683acd7af9a1618f05e5ac63f732efcbea26 Author: Philippe Gerum r...@xenomai.org Date: Tue Aug 12 11:24:20 2014 +0200 autotune: make completely