update

[l4.git] / kernel / fiasco / src / boot / amd64 / Makerules.BOOT.amd64

diff --git a/kernel/fiasco/src/boot/amd64/Makerules.BOOT.amd64 b/kernel/fiasco/src/boot/amd64/Makerules.BOOT.amd64
index 2039c3a33f4ec2c4c119392d59a2763ebbdddb8a..a4385f8bce944f58727532713daf8086b37a26a3 100644 (file)
--- a/kernel/fiasco/src/boot/amd64/Makerules.BOOT.amd64
+++ b/kernel/fiasco/src/boot/amd64/Makerules.BOOT.amd64
@@ -29,6 +29,7 @@ $(KERNEL):    kernel.amd64.lds boot_img.o $(CRT0) $(OBJ_KERNEL) $(JDB) $(LIBK) $(KE
                $(LINK_MESSAGE)
                $(VERBOSE)$(LD) -m elf_x86_64 -N -T $< -gc-sections \
                -o $@ $(filter-out $<,$+) $(LIBGCC) $(KERNEL_UNRES_SYMS)
+               $(call ADD_CONFIGFILE,$@)
 
 # '$(RM) main' should be removed later - Late 2012
 $(BOOT): $(KERNEL)