Jan Kiszka wrote:
> But first I need some build environment. A quick shot ended here when
> trying to configure a patch and prepared 2.6.19 kernel:
> 
> # make ARCH=x86_64 CC="gcc -m64" oldconfig
> ...
> init/Kconfig:572: can't open file "arch/x86_64/xenomai/Kconfig"
> 
> Anyone any idea? Is something missing, or is the prepare script broken?

Obviously a missing commit. Philippe?