On Mon, Jan 25, 2016 at 04:16:04PM +0100, Nicolas SCHURANDO wrote: > Hi Elmar, > > The version of the linux kernel you should use is determined by the version > of the i-pipe patch that is available for the hardware you are targeting. > Here, as it is probably the case for most embedded boards, it turns out > that the i-pipe patch alone is not enough.
To the contrary, most embedded boards supported by Xenomai are supported by the mainline kernel and do not require further patches than the I-pipe patch. See the list here: https://xenomai.org/embedded-hardware/ Where the boards requiring additional patches are tagged with "[separate-patch]". -- Gilles. https://click-hack.org _______________________________________________ Xenomai mailing list [email protected] http://xenomai.org/mailman/listinfo/xenomai
