X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/3077745110b3fea73dd6d270c9777ab6df409cba..fba40cf7f1ec0cd4cfaa7ed6a530785cc666e2ec:/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 2039c3a33..a4385f8bc 100644
--- 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)