1.1 --- a/xen/Makefile	Sun Apr 04 07:21:06 2004 +0000
     1.2 +++ b/xen/Makefile	Sun Apr 04 10:52:47 2004 +0000
     1.3 @@ -21,6 +21,7 @@ install: $(TARGET)
     1.4  	gzip -f -9 < $(TARGET) > $(TARGET).gz
     1.5  	mkdir -p $(prefix)/boot
     1.6  	install -m0644 $(TARGET).gz $(prefix)/boot
     1.7 +	install -m0644 $(TARGET).dbg $(prefix)/boot
     1.8  
     1.9  dist: $(TARGET)
    1.10  	$(MAKE) prefix=`pwd`/../../install dist=yes install

     2.1 --- a/xen/arch/i386/Makefile	Sun Apr 04 07:21:06 2004 +0000
     2.2 +++ b/xen/arch/i386/Makefile	Sun Apr 04 10:52:47 2004 +0000
     2.3 @@ -10,7 +10,8 @@ include $(BASEDIR)/Rules.mk
     2.4  # wrapping that with a low-memory bootstrapper.)
     2.5  default: boot/boot.o $(OBJS)
     2.6  	$(LD) -r -o arch.o $(OBJS)
     2.7 -	$(LD) $(LDFLAGS) boot/boot.o $(ALL_OBJS) -o $(TARGET)
     2.8 +	$(LD) $(LDFLAGS) boot/boot.o $(ALL_OBJS) -o $(TARGET).dbg
     2.9 +	objcopy -R .note -R .comment -S $(TARGET).dbg $(TARGET)
    2.10  	$(BASEDIR)/tools/elf-reloc $(MONITOR_BASE) $(LOAD_BASE) $(TARGET)
    2.11  
    2.12  clean:

     3.1 --- a/xenolinux-2.4.25-sparse/arch/xen/Makefile	Sun Apr 04 07:21:06 2004 +0000
     3.2 +++ b/xenolinux-2.4.25-sparse/arch/xen/Makefile	Sun Apr 04 10:52:47 2004 +0000
     3.3 @@ -110,10 +110,12 @@ bzImage: vmlinux
     3.4  install: bzImage
     3.5  	mkdir -p $(prefix)/boot
     3.6  	install -m0644 arch/$(ARCH)/boot/xenolinux.gz $(prefix)/boot/xenolinux.gz
     3.7 +	install -m0644 vmlinux $(prefix)/boot/xenolinux.dbg
     3.8  
     3.9  dist: bzImage
    3.10  	mkdir -p ../install/boot
    3.11  	install -m0644 arch/$(ARCH)/boot/xenolinux.gz ../install/boot/xenolinux.gz
    3.12 +	install -m0644 vmlinux ../install/boot/xenolinux.dbg
    3.13  
    3.14  archclean:
    3.15  	@$(MAKEBOOT) clean