X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=KernelLand%2FKernel%2Farch%2Farmv7%2FMakefile;h=1d9f43696147f3a8940c79b17a39c8d82197e934;hb=d8976435eade14e409b01e58850b75990ad9a4a7;hp=fad1b55df43f8af8a39559d952b590537281f031;hpb=48743e39650eb1ef988380e9d95f27fd40d3a9ce;p=tpg%2Facess2.git

diff --git a/KernelLand/Kernel/arch/armv7/Makefile b/KernelLand/Kernel/arch/armv7/Makefile
index fad1b55d..1d9f4369 100644
--- a/KernelLand/Kernel/arch/armv7/Makefile
+++ b/KernelLand/Kernel/arch/armv7/Makefile
@@ -12,6 +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 platform_$(PLATFORM).o
 
 #main.c: Makefile.BuildNum.$(ARCH)