Hi Stefan, On Sun, Aug 30, 2015 at 12:10 PM, Stefan Brüns <stefan.bruens at rwth-aachen.de> wrote: > The default config includes base.menu, not linux.list > > Signed-off-by: Stefan Brüns <stefan.bruens at rwth-aachen.de> Acked-by: Joe Hershberger <joe.hershberger at ni.com>