On Mon, Dec 01, 2014 at 08:26:37AM +0000, Terje Frøysa wrote: > Thanks Gilles, > > I don't know why the debian kernel for the Sitara have SMP enabled. > It sounds like a good idea to turn it off then...
Note that if you want to be able to recompile your kernel fast, you should not be using a Debian kernel configuration anyway, but a configuration with just the options you need enabled. This makes a big difference on compilation time, a small difference on memory footprint, and a big difference on root file system footprint. -- Gilles. _______________________________________________ Xenomai mailing list Xenomai@xenomai.org http://www.xenomai.org/mailman/listinfo/xenomai