[Buildroot] How to change kernel version

Philippe Ney philippe.ney at tizoo.com
Sun Aug 19 13:28:45 UTC 2007

> Hi,
>   I searched over the archives but I couldn't find anything about how
> one could change the kernel version. The only available option for
> AVR32, 2.6.22, is unable to boot on an STK1000 due to a bug in the MMC
> drivers, so I would like to change it to 2.6.18 which actually works.
> Kind Regards,
>    Thiago A. Correa


Check the makefiles (Makefile.in, *.mk) to find which one define the linux
kernel you build. Its name should be linux.mk. And you can change the
kernel version directly in this file.

Or if you want configuration options, modify the Config.in file related to
kernel choice for your platforme.


More information about the buildroot mailing list