update

[l4.git] / kernel / fiasco / src / kern / arm / Makerules.KERNEL

diff --git a/kernel/fiasco/src/kern/arm/Makerules.KERNEL b/kernel/fiasco/src/kern/arm/Makerules.KERNEL
index 1d88bc6ce423eab510ded4d8b79c393424e52b17..3ab5530128e040158c91109c5dfe59db25433fce 100644 (file)
--- a/kernel/fiasco/src/kern/arm/Makerules.KERNEL
+++ b/kernel/fiasco/src/kern/arm/Makerules.KERNEL
@@ -1,4 +1,5 @@
 # -*- makefile -*-
+# vim:se ft=make:
 
 ivt.o: $(TCBOFFSET)
 tramp-mp.o: $(TCBOFFSET)
@@ -17,6 +18,10 @@ $(KERNEL).image: kernel.arm.lds $(CRT0) bootstrap.$(KERNEL).o $(OBJ_KERNEL_noboo
        $(LINK_MESSAGE)
        $(VERBOSE)$(LD) $(LDFLAGS) -N -defsym kernel_load_addr=$(CONFIG_KERNEL_LOAD_ADDR) \
           -T $< -o $@ $(filter-out $<,$+)
+       $(call ADD_CONFIGFILE,$@)
+       $(VERBOSE)if [ -n "$$($(NM) -C bootstrap.o | grep "         U " | grep -vE 'Mem_layout::__ph_to_pm|_start_kernel|kernel_page_directory|kernel_lpae_dir|my_kernel_info_page')" ]; then \
+         echo "bootstrap.o contains unknown unresolved symbols."; exit 1; \
+       fi
 
 $(KERNEL): $(KERNEL).image
        $(LINK_MESSAGE)