[Buildroot] [PATCH 1/2] linux: Add Linux Kernel extensions menu
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 :
> 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