From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <50CDAD2C.8050209@antcom.de> Date: Sun, 16 Dec 2012 12:14:52 +0100 From: Roland Stigge MIME-Version: 1.0 References: <50CD8E87.2070906@xenomai.org> In-Reply-To: <50CD8E87.2070906@xenomai.org> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Xenomai] next xenomai release List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Gilles Chanteperdrix , Xenomai@xenomai.org 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