* [Xenomai] next xenomai release
@ 2012-12-16 9:04 Gilles Chanteperdrix
2012-12-16 11:14 ` Roland Stigge
0 siblings, 1 reply; 12+ messages in thread
From: Gilles Chanteperdrix @ 2012-12-16 9:04 UTC (permalink / raw)
To: Roland Stigge; +Cc: Xenomai
Hi Roland,
the next release of Xenomai should happen soon. The changes which may
impact the Debian packaging are:
* changes in the configure script option, actually simplifications;
- --enable-smp is no longer needed on x86, powerpc and arm
- as a reminder, on the ARM architecture, passing --enable-arm-arch or
--enable-arm-eabi is not needed either since 2.6.0, so in fact, no
option is needed when running the configure script for the arm
architecture. Passing the correct -march to the CFLAGS is recommended to
generate optimized code, but starting with the future release, is not
even mandatory.
- this release support ARM user-space built with the thumb instruction
set (-mthumb added to the CFLAGS, or enabled by default in the toolchain
configuration)
* small changes in the documentation, we introduced some asciidoc (I
would have wanted to also move the manual pages to asciidoc, and update
them, but it will be for the next release), the visible change is that
an HTML version of the README.INSTALL and TROUBLESHOOTING files are now
installed by the "make install" command in the html directory.
I would also like to setup an apt repository to provide pre-compiled
kernels, at least for the x86 architecture (say, for instance, i486 UP,
i686 SMP, x86_64 SMP), as well as the user-space packages, so, would be
interested in documentation URLs.
Regards.
--
Gilles.
^ permalink raw reply [flat|nested] 12+ messages in thread* Re: [Xenomai] next xenomai release 2012-12-16 9:04 [Xenomai] next xenomai release Gilles Chanteperdrix @ 2012-12-16 11:14 ` Roland Stigge 2012-12-17 8:45 ` Leopold Palomo-Avellaneda 2013-01-07 23:00 ` [Xenomai] next xenomai release Gilles Chanteperdrix 0 siblings, 2 replies; 12+ messages in thread From: Roland Stigge @ 2012-12-16 11:14 UTC (permalink / raw) To: Gilles Chanteperdrix, Xenomai Hi Gilles, On 16/12/12 10:04, Gilles Chanteperdrix wrote: > the next release of Xenomai should happen soon. The changes which may > impact the Debian packaging are: > * changes in the configure script option, actually simplifications; > - --enable-smp is no longer needed on x86, powerpc and arm > - as a reminder, on the ARM architecture, passing --enable-arm-arch or > --enable-arm-eabi is not needed either since 2.6.0, so in fact, no > option is needed when running the configure script for the arm > architecture. Passing the correct -march to the CFLAGS is recommended to > generate optimized code, but starting with the future release, is not > even mandatory. > - this release support ARM user-space built with the thumb instruction > set (-mthumb added to the CFLAGS, or enabled by default in the toolchain > configuration) > * small changes in the documentation, we introduced some asciidoc (I > would have wanted to also move the manual pages to asciidoc, and update > them, but it will be for the next release), the visible change is that > an HTML version of the README.INSTALL and TROUBLESHOOTING files are now > installed by the "make install" command in the html directory. Thank you for the note! This really simplified my update in Debian. I just tested a snapshot from git.xenomai.org (using xenomai-head.git and building a test tarball with ./configure && make dist) - looks good so far. > I would also like to setup an apt repository to provide pre-compiled > kernels, at least for the x86 architecture (say, for instance, i486 UP, > i686 SMP, x86_64 SMP), as well as the user-space packages, so, would be > interested in documentation URLs. For setting up an apt-repository, I recommend using the "reprepro" package (from Debian) which helps setting up and maintaining an apt repo. You just need to provide individual .deb, .changes, or .dsa files on the command line and it adds them automatically to our new repo. Just ask if you need assistance here. For building the packages for this repo, you ideally just build the default Debian packages with dpkg-buildpackage and follow the instructions in /usr/share/doc/linux-patch-xenomai/README.Debian to build kernels. There is also http://www.xenomai.org/index.php/Building_Debian_packages I hope this answers your questions? Looking forward to the xenomai release. Thanks in advance, Roland ^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [Xenomai] next xenomai release 2012-12-16 11:14 ` Roland Stigge @ 2012-12-17 8:45 ` Leopold Palomo-Avellaneda 2012-12-17 10:59 ` Roland Stigge 2013-01-07 23:00 ` [Xenomai] next xenomai release Gilles Chanteperdrix 1 sibling, 1 reply; 12+ messages in thread From: Leopold Palomo-Avellaneda @ 2012-12-17 8:45 UTC (permalink / raw) To: xenomai A Diumenge 16 Desembre 2012, Roland Stigge va escriure: > Hi Gilles, > > On 16/12/12 10:04, Gilles Chanteperdrix wrote: > > the next release of Xenomai should happen soon. The changes which may > > impact the Debian packaging are: > > * changes in the configure script option, actually simplifications; > > - --enable-smp is no longer needed on x86, powerpc and arm > > - as a reminder, on the ARM architecture, passing --enable-arm-arch or > > --enable-arm-eabi is not needed either since 2.6.0, so in fact, no > > option is needed when running the configure script for the arm > > architecture. Passing the correct -march to the CFLAGS is recommended to > > generate optimized code, but starting with the future release, is not > > even mandatory. > > - this release support ARM user-space built with the thumb instruction > > set (-mthumb added to the CFLAGS, or enabled by default in the toolchain > > configuration) > > * small changes in the documentation, we introduced some asciidoc (I > > would have wanted to also move the manual pages to asciidoc, and update > > them, but it will be for the next release), the visible change is that > > an HTML version of the README.INSTALL and TROUBLESHOOTING files are now > > installed by the "make install" command in the html directory. > > Thank you for the note! This really simplified my update in Debian. > > I just tested a snapshot from git.xenomai.org (using xenomai-head.git > and building a test tarball with ./configure && make dist) - looks good > so far. well, there's a bug, and I must admit that I don't know if it's deliberated (*) or not. This bug comes from some time ago. In the /ksrc/arch/x86/patches directory, there's a patch for the 3.2.21 kernel: ipipe-core-3.2.21-x86-1.patch this patch, in the build process is not included in the root directory: the /scripts/prepare-patch.sh script executes: find $xenomai_root/ksrc/ -name "adeos-ipipe-2.6.*-$supported_arch-*.patch" that is incorrect because the ipipe-core* patch is not found. The correct one would be: ---------------------------------------------------------------- $ diff -u xenomai-2.6.git/scripts/prepare-patch.sh xenomai- head/scripts/prepare-patch.sh --- xenomai-2.6.git/scripts/prepare-patch.sh 2012-11-06 11:17:56.722698342 +0100 +++ xenomai-head/scripts/prepare-patch.sh 2012-12-17 09:23:31.912258850 +0100 @@ -148,7 +148,7 @@ cd $xenomai_root -find $xenomai_root/ksrc/ -name "*ipipe*$supported_arch-*.patch" | +find $xenomai_root/ksrc/ -name "adeos-ipipe-2.6.*-$supported_arch-*.patch" | while read f ; do file=`basename $f` ---------------------------------------------------------------- so, please could you clarified if you put this patch or not? (*) Deliberated in the way that maybe it's not sufficient stable yet to include it and upstream prefers to not include it by default. > > I would also like to setup an apt repository to provide pre-compiled > > kernels, at least for the x86 architecture (say, for instance, i486 UP, > > i686 SMP, x86_64 SMP), as well as the user-space packages, so, would be > > interested in documentation URLs. > > For setting up an apt-repository, I recommend using the "reprepro" > package (from Debian) which helps setting up and maintaining an apt > repo. You just need to provide individual .deb, .changes, or .dsa files > on the command line and it adds them automatically to our new repo. Just > ask if you need assistance here. > > For building the packages for this repo, you ideally just build the > default Debian packages with dpkg-buildpackage and follow the > instructions in > > /usr/share/doc/linux-patch-xenomai/README.Debian > > to build kernels. > > There is also > > http://www.xenomai.org/index.php/Building_Debian_packages > I agree. Also, I can mirror the repo at my University. Regards, Leo -- -- Linux User 152692 Catalonia ^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [Xenomai] next xenomai release 2012-12-17 8:45 ` Leopold Palomo-Avellaneda @ 2012-12-17 10:59 ` Roland Stigge 2012-12-17 13:53 ` Leopold Palomo-Avellaneda 0 siblings, 1 reply; 12+ messages in thread From: Roland Stigge @ 2012-12-17 10:59 UTC (permalink / raw) To: Leopold Palomo-Avellaneda; +Cc: xenomai On 12/17/2012 09:45 AM, Leopold Palomo-Avellaneda wrote: > there's a bug, and I must admit that I don't know if it's deliberated (*) or > not. This bug comes from some time ago. In the /ksrc/arch/x86/patches > directory, there's a patch for the 3.2.21 kernel: > > ipipe-core-3.2.21-x86-1.patch > > this patch, in the build process is not included in the root directory: the > /scripts/prepare-patch.sh script executes: > > find $xenomai_root/ksrc/ -name "adeos-ipipe-2.6.*-$supported_arch-*.patch" > > that is incorrect because the ipipe-core* patch is not found. The correct one > would be: > > ---------------------------------------------------------------- > $ diff -u xenomai-2.6.git/scripts/prepare-patch.sh xenomai- > head/scripts/prepare-patch.sh > --- xenomai-2.6.git/scripts/prepare-patch.sh 2012-11-06 11:17:56.722698342 > +0100 > +++ xenomai-head/scripts/prepare-patch.sh 2012-12-17 09:23:31.912258850 > +0100 > @@ -148,7 +148,7 @@ > > cd $xenomai_root > > -find $xenomai_root/ksrc/ -name "*ipipe*$supported_arch-*.patch" | > +find $xenomai_root/ksrc/ -name "adeos-ipipe-2.6.*-$supported_arch-*.patch" | > while read f ; do > > file=`basename $f` > > ---------------------------------------------------------------- I guess this is a reverse patch? > so, please could you clarified if you put this patch or not? I'm not too sure about the official patch naming, but generally, patches should be included, yes! So this bug should be fixed, if it is a bug. Thanks, Roland ^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [Xenomai] next xenomai release 2012-12-17 10:59 ` Roland Stigge @ 2012-12-17 13:53 ` Leopold Palomo-Avellaneda 2012-12-27 19:06 ` Roland Stigge 0 siblings, 1 reply; 12+ messages in thread From: Leopold Palomo-Avellaneda @ 2012-12-17 13:53 UTC (permalink / raw) To: xenomai A Dilluns 17 Desembre 2012, Roland Stigge va escriure: > On 12/17/2012 09:45 AM, Leopold Palomo-Avellaneda wrote: > > there's a bug, and I must admit that I don't know if it's deliberated (*) or > > not. This bug comes from some time ago. In the /ksrc/arch/x86/patches > > directory, there's a patch for the 3.2.21 kernel: > > > > ipipe-core-3.2.21-x86-1.patch > > > > this patch, in the build process is not included in the root directory: the > > /scripts/prepare-patch.sh script executes: > > > > find $xenomai_root/ksrc/ -name "adeos-ipipe-2.6.*-$supported_arch-*.patch" > > > > that is incorrect because the ipipe-core* patch is not found. The correct one > > would be: > > > > ---------------------------------------------------------------- > > $ diff -u xenomai-2.6.git/scripts/prepare-patch.sh xenomai- > > head/scripts/prepare-patch.sh > > --- xenomai-2.6.git/scripts/prepare-patch.sh 2012-11-06 11:17:56.722698342 > > +0100 > > +++ xenomai-head/scripts/prepare-patch.sh 2012-12-17 09:23:31.912258850 > > +0100 > > @@ -148,7 +148,7 @@ > > > > cd $xenomai_root > > > > -find $xenomai_root/ksrc/ -name "*ipipe*$supported_arch-*.patch" | > > +find $xenomai_root/ksrc/ -name "adeos-ipipe-2.6.*-$supported_arch- *.patch" | > > while read f ; do > > > > file=`basename $f` > > > > ---------------------------------------------------------------- > > I guess this is a reverse patch? :-) yes, the order is inverse. Sorry. Leo -- -- Linux User 152692 Catalonia ^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [Xenomai] next xenomai release 2012-12-17 13:53 ` Leopold Palomo-Avellaneda @ 2012-12-27 19:06 ` Roland Stigge 2012-12-27 19:34 ` Gilles Chanteperdrix 0 siblings, 1 reply; 12+ messages in thread From: Roland Stigge @ 2012-12-27 19:06 UTC (permalink / raw) To: Leopold Palomo-Avellaneda; +Cc: xenomai On 17/12/12 14:53, Leopold Palomo-Avellaneda wrote: > A Dilluns 17 Desembre 2012, Roland Stigge va escriure: >> On 12/17/2012 09:45 AM, Leopold Palomo-Avellaneda wrote: >>> there's a bug, and I must admit that I don't know if it's deliberated (*) > or >>> not. This bug comes from some time ago. In the /ksrc/arch/x86/patches >>> directory, there's a patch for the 3.2.21 kernel: >>> >>> ipipe-core-3.2.21-x86-1.patch >>> >>> this patch, in the build process is not included in the root directory: > the >>> /scripts/prepare-patch.sh script executes: >>> >>> find $xenomai_root/ksrc/ -name "adeos-ipipe-2.6.*-$supported_arch-*.patch" >>> >>> that is incorrect because the ipipe-core* patch is not found. The correct > one >>> would be: >>> >>> ---------------------------------------------------------------- >>> $ diff -u xenomai-2.6.git/scripts/prepare-patch.sh xenomai- >>> head/scripts/prepare-patch.sh >>> --- xenomai-2.6.git/scripts/prepare-patch.sh 2012-11-06 > 11:17:56.722698342 >>> +0100 >>> +++ xenomai-head/scripts/prepare-patch.sh 2012-12-17 > 09:23:31.912258850 >>> +0100 >>> @@ -148,7 +148,7 @@ >>> >>> cd $xenomai_root >>> >>> -find $xenomai_root/ksrc/ -name "*ipipe*$supported_arch-*.patch" | >>> +find $xenomai_root/ksrc/ -name "adeos-ipipe-2.6.*-$supported_arch- > *.patch" | >>> while read f ; do >>> >>> file=`basename $f` >>> >>> ---------------------------------------------------------------- >> >> I guess this is a reverse patch? > > :-) > > yes, the order is inverse. Sorry. OK, should be fixed. Can't find the change in xenomai 2.6.2, unfortunately. Roland ^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [Xenomai] next xenomai release 2012-12-27 19:06 ` Roland Stigge @ 2012-12-27 19:34 ` Gilles Chanteperdrix 2012-12-27 20:59 ` [Xenomai] Another dpkg build issue for Xenomai 2.6.2 Jeff Webb 0 siblings, 1 reply; 12+ messages in thread From: Gilles Chanteperdrix @ 2012-12-27 19:34 UTC (permalink / raw) To: Roland Stigge; +Cc: xenomai On 12/27/2012 08:06 PM, Roland Stigge wrote: > On 17/12/12 14:53, Leopold Palomo-Avellaneda wrote: >> A Dilluns 17 Desembre 2012, Roland Stigge va escriure: >>> On 12/17/2012 09:45 AM, Leopold Palomo-Avellaneda wrote: >>>> there's a bug, and I must admit that I don't know if it's deliberated (*) >> or >>>> not. This bug comes from some time ago. In the /ksrc/arch/x86/patches >>>> directory, there's a patch for the 3.2.21 kernel: >>>> >>>> ipipe-core-3.2.21-x86-1.patch >>>> >>>> this patch, in the build process is not included in the root directory: >> the >>>> /scripts/prepare-patch.sh script executes: >>>> >>>> find $xenomai_root/ksrc/ -name "adeos-ipipe-2.6.*-$supported_arch-*.patch" >>>> >>>> that is incorrect because the ipipe-core* patch is not found. The correct >> one >>>> would be: >>>> >>>> ---------------------------------------------------------------- >>>> $ diff -u xenomai-2.6.git/scripts/prepare-patch.sh xenomai- >>>> head/scripts/prepare-patch.sh >>>> --- xenomai-2.6.git/scripts/prepare-patch.sh 2012-11-06 >> 11:17:56.722698342 >>>> +0100 >>>> +++ xenomai-head/scripts/prepare-patch.sh 2012-12-17 >> 09:23:31.912258850 >>>> +0100 >>>> @@ -148,7 +148,7 @@ >>>> >>>> cd $xenomai_root >>>> >>>> -find $xenomai_root/ksrc/ -name "*ipipe*$supported_arch-*.patch" | >>>> +find $xenomai_root/ksrc/ -name "adeos-ipipe-2.6.*-$supported_arch- >> *.patch" | >>>> while read f ; do >>>> >>>> file=`basename $f` >>>> >>>> ---------------------------------------------------------------- >>> >>> I guess this is a reverse patch? >> >> :-) >> >> yes, the order is inverse. Sorry. > > OK, should be fixed. Can't find the change in xenomai 2.6.2, unfortunately. I am working on generating the debian packages now, there are a few other issues, I will push a commit when they are fixed, and maybe another xenomai release. > > Roland > > _______________________________________________ > Xenomai mailing list > Xenomai@xenomai.org > http://www.xenomai.org/mailman/listinfo/xenomai > -- Gilles. ^ permalink raw reply [flat|nested] 12+ messages in thread
* [Xenomai] Another dpkg build issue for Xenomai 2.6.2 2012-12-27 19:34 ` Gilles Chanteperdrix @ 2012-12-27 20:59 ` Jeff Webb 2012-12-27 21:06 ` Gilles Chanteperdrix 0 siblings, 1 reply; 12+ messages in thread From: Jeff Webb @ 2012-12-27 20:59 UTC (permalink / raw) To: xenomai When building dpkgs on Ubuntu 12.04, this line in the debian/rules file gives me trouble because there are no longer any adeos-ipipe-*.patch files for the x86 architecture: cp adeos-ipipe-*.patch $(CURDIR)/debian/linux-patch-xenomai/usr/src/kernel-patches/diffs/xenomai As a workaround, I did this before building: touch ./ksrc/arch/x86/patches/adeos-ipipe-2.6.0-x86-dummy.patch -Jeff ^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [Xenomai] Another dpkg build issue for Xenomai 2.6.2 2012-12-27 20:59 ` [Xenomai] Another dpkg build issue for Xenomai 2.6.2 Jeff Webb @ 2012-12-27 21:06 ` Gilles Chanteperdrix [not found] ` <50DCBAFF.2080300@nta-inc.net> 0 siblings, 1 reply; 12+ messages in thread From: Gilles Chanteperdrix @ 2012-12-27 21:06 UTC (permalink / raw) To: Jeff Webb; +Cc: xenomai On 12/27/2012 09:59 PM, Jeff Webb wrote: > When building dpkgs on Ubuntu 12.04, this line in the debian/rules file gives me trouble because there are no longer any adeos-ipipe-*.patch files for the x86 architecture: > > cp adeos-ipipe-*.patch $(CURDIR)/debian/linux-patch-xenomai/usr/src/kernel-patches/diffs/xenomai > > As a workaround, I did this before building: > > touch ./ksrc/arch/x86/patches/adeos-ipipe-2.6.0-x86-dummy.patch That is one of the "other issues". -- Gilles. ^ permalink raw reply [flat|nested] 12+ messages in thread
[parent not found: <50DCBAFF.2080300@nta-inc.net>]
* Re: [Xenomai] Another dpkg build issue for Xenomai 2.6.2 [not found] ` <50DCBAFF.2080300@nta-inc.net> @ 2012-12-27 22:40 ` Gilles Chanteperdrix 2012-12-28 16:50 ` Jeff Webb 0 siblings, 1 reply; 12+ messages in thread From: Gilles Chanteperdrix @ 2012-12-27 22:40 UTC (permalink / raw) To: Xenomai On 12/27/2012 10:17 PM, Jeff Webb wrote: > On 12/27/2012 03:06 PM, Gilles Chanteperdrix wrote: >> On 12/27/2012 09:59 PM, Jeff Webb wrote: >> >>> When building dpkgs on Ubuntu 12.04, this line in the debian/rules file gives me trouble because there are no longer any adeos-ipipe-*.patch files for the x86 architecture: >>> >>> cp adeos-ipipe-*.patch $(CURDIR)/debian/linux-patch-xenomai/usr/src/kernel-patches/diffs/xenomai >>> >>> As a workaround, I did this before building: >>> >>> touch ./ksrc/arch/x86/patches/adeos-ipipe-2.6.0-x86-dummy.patch >> >> >> That is one of the "other issues". >> > > Thanks, Gilles. > > You can try the following commit: http://git.xenomai.org/?p=xenomai-2.6.git;a=commit;h=89ff2edf76dae49e4a3643f17e118954b68a692e -- Gilles. ^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [Xenomai] Another dpkg build issue for Xenomai 2.6.2 2012-12-27 22:40 ` Gilles Chanteperdrix @ 2012-12-28 16:50 ` Jeff Webb 0 siblings, 0 replies; 12+ messages in thread From: Jeff Webb @ 2012-12-28 16:50 UTC (permalink / raw) To: xenomai On 12/27/2012 04:40 PM, Gilles Chanteperdrix wrote: > On 12/27/2012 10:17 PM, Jeff Webb wrote: > >> On 12/27/2012 03:06 PM, Gilles Chanteperdrix wrote: >>> On 12/27/2012 09:59 PM, Jeff Webb wrote: >>> >>>> When building dpkgs on Ubuntu 12.04, this line in the debian/rules file gives me trouble because there are no longer any adeos-ipipe-*.patch files for the x86 architecture: >>>> >>>> cp adeos-ipipe-*.patch $(CURDIR)/debian/linux-patch-xenomai/usr/src/kernel-patches/diffs/xenomai >>>> >>>> As a workaround, I did this before building: >>>> >>>> touch ./ksrc/arch/x86/patches/adeos-ipipe-2.6.0-x86-dummy.patch >>> >>> >>> That is one of the "other issues". >>> >> >> Thanks, Gilles. >> > > You can try the following commit: > http://git.xenomai.org/?p=xenomai-2.6.git;a=commit;h=89ff2edf76dae49e4a3643f17e118954b68a692e > That works for me. Thanks. -Jeff ^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [Xenomai] next xenomai release 2012-12-16 11:14 ` Roland Stigge 2012-12-17 8:45 ` Leopold Palomo-Avellaneda @ 2013-01-07 23:00 ` Gilles Chanteperdrix 1 sibling, 0 replies; 12+ messages in thread From: Gilles Chanteperdrix @ 2013-01-07 23:00 UTC (permalink / raw) To: Roland Stigge; +Cc: Xenomai On 12/16/2012 12:14 PM, Roland Stigge wrote: > Thank you for the note! This really simplified my update in Debian. > > I just tested a snapshot from git.xenomai.org (using xenomai-head.git > and building a test tarball with ./configure && make dist) - looks good > so far. Hi Roland, it turned out that a little more work was needed to check whether the release was ready for generating debian packages, as, you may have follow, the 2.6.2 release was completely broken in this regard. > There is also > > http://www.xenomai.org/index.php/Building_Debian_packages The information on this page is outdated, as support for dkms was removed from the xenomai package, so, the "apply" script does not exist. Thanks for the pointers. Regards. -- Gilles. ^ permalink raw reply [flat|nested] 12+ messages in thread
end of thread, other threads:[~2013-01-07 23:00 UTC | newest]
Thread overview: 12+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-12-16 9:04 [Xenomai] next xenomai release Gilles Chanteperdrix
2012-12-16 11:14 ` Roland Stigge
2012-12-17 8:45 ` Leopold Palomo-Avellaneda
2012-12-17 10:59 ` Roland Stigge
2012-12-17 13:53 ` Leopold Palomo-Avellaneda
2012-12-27 19:06 ` Roland Stigge
2012-12-27 19:34 ` Gilles Chanteperdrix
2012-12-27 20:59 ` [Xenomai] Another dpkg build issue for Xenomai 2.6.2 Jeff Webb
2012-12-27 21:06 ` Gilles Chanteperdrix
[not found] ` <50DCBAFF.2080300@nta-inc.net>
2012-12-27 22:40 ` Gilles Chanteperdrix
2012-12-28 16:50 ` Jeff Webb
2013-01-07 23:00 ` [Xenomai] next xenomai release Gilles Chanteperdrix
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.