I rebuilt the x86 3.2.21/xenomai kernel debian packages with a configuration based on the Ubuntu 12.04 3.2.0-35-generic-pae kernel and just merged in the Xenomai-specific options; the previous kernels had much of the drivers disabled which is responsible for the boot problems reported, in particular those reported by Sam and Dewey.
This kernel should now run on a much wider range of hardware. The debian packages are here: http://static.mah.priv.at/public/xenomai-debs/linux-headers-3.2.21-xenomai+_0.4_i386.deb http://static.mah.priv.at/public/xenomai-debs/linux-image-3.2.21-xenomai+_0.4_i386.deb download and install with 'dpkg -i *.deb' as usual if running 10.04, also do a update-initramfs -c -k 3.2.21-xenomai+ before rebooting. This has seen only cursory 'quality control' - i.e. the kernel installs and runs under Virtualbox, and runtests work. Please report how things pan out with this 'edition' ;) - Michael ------------------------------------------------------------------------------ Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS, MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft MVPs and experts. SALE $99.99 this month only -- learn more at: http://p.sf.net/sfu/learnmore_122412 _______________________________________________ Emc-developers mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/emc-developers
