[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 Date: Fri Jul 5 09:52:21 2013 +0200 cobalt: formally disconnect user-space from

[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 Date: Fri Jul 5 09:52:21 2013 +0200 cobalt: formally disconnect user-space from k

[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: 1b79ce103f4f718443938d6358485d00a58fb2e9 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=1b79ce103f4f718443938d6358485d00a58fb2e9 Author: Philippe Gerum Date: Fri Jul 5 09:52:21 2013 +0200 cobalt: formally disconnect user-space from k

[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: a7e37cfb538e5c760b24c10c91e2f39eaae9aee5 URL: http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=a7e37cfb538e5c760b24c10c91e2f39eaae9aee5 Author: Philippe Gerum Date: Fri Jul 5 09:52:21 2013 +0200 cobalt: formally disconnect user-space from k