Index: boot/arch/xen32/Makefile.inc
===================================================================
--- boot/arch/xen32/Makefile.inc	(revision e12ccc58f0ffb42cd6c2b5def689f4d61e526d1d)
+++ boot/arch/xen32/Makefile.inc	(revision 0fbfa0d39223c599e79b827b86e228bada23961b)
@@ -40,9 +40,14 @@
 build: $(BASE)/image.iso
 
-$(BASE)/image.iso: arch/$(ARCH)/grub/stage2_eltorito arch/$(ARCH)/grub/menu.lst arch/$(ARCH)/grub/xen.gz $(KERNELDIR)/kernel.bin $(TASKS)
+$(BASE)/image.iso: arch/$(ARCH)/grub/stage2_eltorito arch/$(ARCH)/grub/menu.lst arch/$(ARCH)/grub/menu.debug.lst arch/$(ARCH)/grub/xen.gz arch/$(ARCH)/grub/xen.debug.gz $(KERNELDIR)/kernel.bin $(TASKS)
 	mkdir -p arch/$(ARCH)/iso/boot/grub
 	cp arch/$(ARCH)/grub/stage2_eltorito arch/$(ARCH)/iso/boot/grub/
+ifeq ($(CONFIG_DEBUG),y)
+	cp arch/$(ARCH)/grub/menu.debug.lst arch/$(ARCH)/iso/boot/grub/menu.lst
+	cp arch/$(ARCH)/grub/xen.debug.gz arch/$(ARCH)/iso/boot/xen.gz
+else
 	cp arch/$(ARCH)/grub/menu.lst arch/$(ARCH)/iso/boot/grub/
 	cp arch/$(ARCH)/grub/xen.gz arch/$(ARCH)/iso/boot/
+endif
 	cp $(KERNELDIR)/kernel.bin arch/$(ARCH)/iso/boot/
 	for task in $(TASKS) ; do \
Index: boot/arch/xen32/grub/menu.debug.lst
===================================================================
--- boot/arch/xen32/grub/menu.debug.lst	(revision 0fbfa0d39223c599e79b827b86e228bada23961b)
+++ boot/arch/xen32/grub/menu.debug.lst	(revision 0fbfa0d39223c599e79b827b86e228bada23961b)
@@ -0,0 +1,16 @@
+default 0
+timeout 10
+
+title=HelenOS/Xen
+root (cd)
+kernel /boot/xen.gz noreboot console=com1,vga com1=auto,8n1,0x3f8
+module /boot/kernel.bin
+module /boot/ns
+module /boot/init
+module /boot/pci
+module /boot/fb
+module /boot/kbd
+module /boot/console
+module /boot/tetris
+module /boot/ipcc
+module /boot/klog
