diff -r ee16cdeddade Config.mk
--- a/Config.mk	Wed Apr 25 09:39:08 2007
+++ b/Config.mk	Fri Apr 27 18:01:44 2007
@@ -13,6 +13,9 @@
 endif
 
 CONFIG_$(XEN_OS) := y
+
+# own kernels for dom0 and domU y/n
+XEN_SPLIT_KERNEL := y
 
 SHELL     ?= /bin/sh
 
diff -r ee16cdeddade config/Linux.mk
--- a/config/Linux.mk	Wed Apr 25 09:39:08 2007
+++ b/config/Linux.mk	Fri Apr 27 18:01:44 2007
@@ -1,7 +1,11 @@
 include $(XEN_ROOT)/config/StdGNU.mk
 
 # You may use wildcards, e.g. KERNELS=*2.6*
+ifeq ($(XEN_SPLIT_KERNEL),y)
+KERNELS ?= linux-2.6-xen0 linux-2.6-xenU
+else
 KERNELS ?= linux-2.6-xen
+endif
 
 XKERNELS := $(foreach kernel, $(KERNELS), \
               $(patsubst buildconfigs/mk.%,%, \