X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=KernelLand%2FKernel%2Farch%2Farmv7%2FMakefile;h=1d9f43696147f3a8940c79b17a39c8d82197e934;hb=04e01877d06f05c8b8bcdd6fe1aa21287df9dcde;hp=5429fe660329591b1d5bedbabb46eb1c3e861763;hpb=04a050f42807686dc119838c82372409246d55bb;p=tpg%2Facess2.git

diff --git a/KernelLand/Kernel/arch/armv7/Makefile b/KernelLand/Kernel/arch/armv7/Makefile
index 5429fe66..1d9f4369 100644
--- a/KernelLand/Kernel/arch/armv7/Makefile
+++ b/KernelLand/Kernel/arch/armv7/Makefile
@@ -12,7 +12,7 @@ LDFLAGS += `$(CC) --print-libgcc-file-name`
 
 A_OBJ  = start.ao main.o lib.o lib.ao time.o pci.o debug.o
 A_OBJ += mm_phys.o mm_virt.o proc.o proc.ao
-A_OBJ += vpci_$(PLATFORM).o
+A_OBJ += vpci_$(PLATFORM).o platform_$(PLATFORM).o
 
 #main.c: Makefile.BuildNum.$(ARCH)