[Buildroot] [PATCH 1/2] linux: Add Linux Kernel extensions menu

Thomas Petazzoni thomas.petazzoni at free-electrons.com
Wed Jul 20 19:21:00 UTC 2011

Le Wed, 20 Jul 2011 10:10:36 +0200,
Benoît Mauduit <benoit.mauduit at gmail.com> a écrit :

> You are right, this is a mistake.
> I suggest to name all linux makefile extension like that :
> "xenomai_ext.mk".
> And include them with:
> include linux/*_ext.mk

Or maybe, it's linux/linux.mk's job to include linux/linux-*-ext.mk, or
explicitly linux/linux-xenomai.mk ?


Thomas Petazzoni, Free Electrons
Kernel, drivers, real-time and embedded Linux
development, consulting, training and support.

More information about the buildroot mailing list