[Xenomai-git] Philippe Gerum : cobalt: formally disconnect user-space from kernel headers

2013-07-08 Thread git repository hosting
Module: xenomai-forge Branch: master Commit: 35e291db9ba97be1f19bcf576580f9062d2c9ea0 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=35e291db9ba97be1f19bcf576580f9062d2c9ea0 Author: Philippe Gerum r...@xenomai.org Date: Fri Jul 5 09:52:21 2013 +0200 cobalt: formally

[Xenomai-git] Philippe Gerum : cobalt: formally disconnect user-space from kernel headers

2013-07-06 Thread git repository hosting
Module: xenomai-forge Branch: next Commit: 35e291db9ba97be1f19bcf576580f9062d2c9ea0 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=35e291db9ba97be1f19bcf576580f9062d2c9ea0 Author: Philippe Gerum r...@xenomai.org Date: Fri Jul 5 09:52:21 2013 +0200 cobalt: formally disconnect