Keir Fraser schrieb: > On 27/4/07 16:26, "Robert Valentan" wrote: > >> This patch add's a XEN_SPLIT_KERNEL to Config.mk and use it >> in config/Linux.mk >> This patch is also needed for my vnet-patch (some minutes before) >> to get the kernel_src dir. >> >> Signed-off-by: Robert Valentan > > Can't you just do some grep hack on the KERNELS variable in the vnet > Makefile? I think it's enough that KERNELS can be overridden -- we don't > need yet another top-level config option. Attached the modified patch. Signed-off-by: Robert Valentan -- Robert Valentan