[Xenomai-git] Philippe Gerum : cobalt/kernel: improve handling of user debug options

Module: xenomai-3 Branch: master Commit: 032fb4fad94c54c681ea9f5d2f47bae83e2c9029 URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=032fb4fad94c54c681ea9f5d2f47bae83e2c9029 Author: Philippe Gerum r...@xenomai.org Date: Sun Jul 12 16:42:23 2015 +0200 cobalt/kernel: improve handling of

[Xenomai-git] Philippe Gerum : cobalt/kernel: improve handling of user debug options

Module: xenomai-3 Branch: next Commit: 032fb4fad94c54c681ea9f5d2f47bae83e2c9029 URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=032fb4fad94c54c681ea9f5d2f47bae83e2c9029 Author: Philippe Gerum r...@xenomai.org Date: Sun Jul 12 16:42:23 2015 +0200 cobalt/kernel: improve handling of