bitkeeper revision 1.841 (406fe8ff7-2wwxC3TfeqP0n7iOUcCA)

Makefile:
  Install debug versions of Xen and Linux images, with symbols included.

xen/Makefile

@@ -21,6 +21,7 @@ install: $(TARGET)
 	gzip -f -9 < $(TARGET) > $(TARGET).gz
 	mkdir -p $(prefix)/boot
 	install -m0644 $(TARGET).gz $(prefix)/boot
+	install -m0644 $(TARGET).dbg $(prefix)/boot
 
 dist: $(TARGET)
 	$(MAKE) prefix=`pwd`/../../install dist=yes install

xen/arch/i386/Makefile

@@ -10,7 +10,8 @@ include $(BASEDIR)/Rules.mk
 # wrapping that with a low-memory bootstrapper.)
 default: boot/boot.o $(OBJS)
 	$(LD) -r -o arch.o $(OBJS)
-	$(LD) $(LDFLAGS) boot/boot.o $(ALL_OBJS) -o $(TARGET)
+	$(LD) $(LDFLAGS) boot/boot.o $(ALL_OBJS) -o $(TARGET).dbg
+	objcopy -R .note -R .comment -S $(TARGET).dbg $(TARGET)
 	$(BASEDIR)/tools/elf-reloc $(MONITOR_BASE) $(LOAD_BASE) $(TARGET)
 
 clean:

xenolinux-2.4.25-sparse/arch/xen/Makefile

@@ -110,10 +110,12 @@ bzImage: vmlinux
 install: bzImage
 	mkdir -p $(prefix)/boot
 	install -m0644 arch/$(ARCH)/boot/xenolinux.gz $(prefix)/boot/xenolinux.gz
+	install -m0644 vmlinux $(prefix)/boot/xenolinux.dbg
 
 dist: bzImage
 	mkdir -p ../install/boot
 	install -m0644 arch/$(ARCH)/boot/xenolinux.gz ../install/boot/xenolinux.gz
+	install -m0644 vmlinux ../install/boot/xenolinux.dbg
 
 archclean:
 	@$(MAKEBOOT) clean