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

[Peter Korsgaard]

>>>>> "Thomas" == Thomas Petazzoni <thomas.petazzoni at free-electrons.com> writes:

 Thomas> From: Thomas De Schampheleire <patrickdepinguin+buildroot at gmail.com>
 Thomas> Add a kernel sub-menu (called "Linux Kernel Extensions"), which makes
 Thomas> possible to patch it or tweak the kernel build step.

 Thomas>  * All linux/linux-ext-*.mk files will be read by the make process.
 Thomas>  * The menu can be customized in "linux/Config.ext.in".

 Thomas> +# Linux extensions (Xenomai)
 Thomas> +source "linux/Config.ext.in"

That comments doesn't belong here if we want it to be a generic
extension support.

Other than that it looks good - Committed, thanks.

-- 
Bye, Peter Korsgaard