$ sudo apt-get update $ sudo apt-cache search linux-image |grep xenomai . . . linux-image-3.8.13-xenomai-r67 - Linux kernel, version 3.8.13-xenomai-r67 linux-image-3.8.13-xenomai-r69 - Linux kernel, version 3.8.13-xenomai-r69 linux-image-3.8.13-xenomai-r70 - Linux kernel, version 3.8.13-xenomai-r70 linux-image-3.8.13-xenomai-r71 - Linux kernel, version 3.8.13-xenomai-r71 linux-image-3.8.13-xenomai-r72 - Linux kernel, version 3.8.13-xenomai-r72 linux-image-3.8.13-xenomai-r76 - Linux kernel, version 3.8.13-xenomai-r76 linux-image-3.8.13-xenomai-r78 - Linux kernel, version 3.8.13-xenomai-r78
To install: $ sudo apt-get install linux-image-3.8.13-xenomai-rxx ^^ much easier On Sun, Oct 18, 2015 at 8:08 AM, Matteo Loda <[email protected]> wrote: > Hi guys > > I try to send again this topic , so if this is a duplicate I apologize > > I am following this guide: > installing-xenomai-on-beaglebone-using-debian-distribution > <https://randomlinuxhacks.wordpress.com/2015/02/22/installing-xenomai-on-beaglebone-using-debian-distribution/comment-page-1/#comment-19> > > They use a bone-debian-7.5-2014-05-14-2gb.img.xz. > > So they have two partition on the SD card Image > > 1) boot partition with zImage files ,they change original debian zImage > with xenomai zImage > 2) rootfs partition > > I try to use a 2015 debian image: bone-debian-7.8-2015-03-01-2gb.img.xz > > But I have only a single partition , with a boot folder, in which I have > no zImage > > So how could I boot xenomai ? > > I followed another way: build an image. > > I tryed the github.com/beagleboard/image-builder form RobertCNelson , but > I obtain, with a 2015 image, a single SD partition. > > Could you tell me how to configure image-builder to build a separated boot > partition with the image-builder ? ( 2015 debian image 3.8 kernel) > > Thanks a lot. > > Matt > > -- > For more options, visit http://beagleboard.org/discuss > --- > You received this message because you are subscribed to the Google Groups > "BeagleBoard" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- For more options, visit http://beagleboard.org/discuss --- You received this message because you are subscribed to the Google Groups "BeagleBoard" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
