X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=e7cb6e324c6ed2ed30e423a5f7171ba492165abc;hb=b8f6183dad926e051fb7dd10835cff2318993b17;hp=9f05bf9267b93f3e44268c28887340fc0b2661c2;hpb=82cceefa66b1f05d8f9d5bfcb2fb7214755e1904;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 9f05bf9..e7cb6e3 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -1,47 +1,8 @@
-# Makefile for GeekOS kernel, userspace, and tools
-#
 #  Northwestern University 
 # (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
 # (c) 2008, Peter Dinda <pdinda@northwestern.edu> 
-# (c) 2008, Lei Xia <xiaxlei@gmail.com>
+# (c) 2008, Lei Xia <lxia@northwestern.edu>
 # (c) 2008, The V3VEE Project <http://www.v3vee.org> 
-#
-# Based on GeekOS Makefile:
-# Copyright (c) 2004,2005 David H. Hovemeyer <daveho@cs.umd.edu>
-# $Revision: 1.71 $
-
-
-# This is free software.  You are permitted to use,
-# redistribute, and modify it as specified in the file "COPYING".
-
-# Required software to build GeekOS:
-# - GNU Make (http://www.gnu.org/software/make)
-# - gcc 2.95.2 generating code for target (i386/ELF) and host platforms
-# - nasm (http://nasm.sourceforge.net)
-# - Perl5, AWK (any version), egrep
-#
-# Cygwin (http://cygwin.com) may be used to build GeekOS.
-# Make sure that gcc, binutils, nasm, and perl are installed.
-
-# NOTES:
-# - This makefile has been written carefully to work correctly
-#   with the -j (parallel make) option.  I regularly use "make -j 2"
-#   to speed the build process on 2 processor systems.
-
-
-# Base address of kernel
-#
-# Note: at top of memory minus three pages (GDT/TSS/IDT) 
-# minus maximum size
-#
-#
-# Note that the code will initially load at 0x10000
-#
-# The setup code needs to copy it up to this address and jump there
-#
-
-
-
 
 PROJECT_ROOT := ..
 VPATH := $(PROJECT_ROOT)/src
@@ -52,19 +13,36 @@ VPATH := $(PROJECT_ROOT)/src
 # DEBUG=1 means VMM_DEBUG, VMM_INFO, and VMM_TRACE are enabled
 # as are SERIAL_PRINT_DEBUG
 # 
-DEBUG=1
-DEBUG_SECTIONS= 
+
+ifeq ($(LEAN_AND_MEAN),1) 
+DEBUG := 0
+DEBUG_SECTIONS :=
+else
+DEBUG := 1
+DEBUG_SECTIONS := 
+endif
+
 
 ifeq ($(DEBUG_ALL),1)
-  DEBUG_SECTIONS:= $(DEBUG_SECTIONS) -DDEBUG_SHADOW_PAGING -DDEBUG_CTRL_REGS -DDEBUG_INTERRUPTS -DDEBUG_IO -DDEBUG_KEYBOARD -DDEBUG_PIC -DDEBUG_PIT -DDEBUG_NVRAM -DDEBUG_EMULATOR -DDEBUG_GENERIC -DDEBUG_RAMDISK
+  DEBUG_SECTIONS:= $(DEBUG_SECTIONS) -DDEBUG_SHADOW_PAGING -DDEBUG_NESTED_PAGING -DDEBUG_CTRL_REGS -DDEBUG_INTERRUPTS -DDEBUG_KEYBOARD -DDEBUG_PIC -DDEBUG_PIT -DDEBUG_NVRAM -DDEBUG_EMULATOR  -DDEBUG_XED -DDEBUG_HALT -DDEBUG_DEV_MGR
+# -DDEBUG_IO -DDEBUG_GENERIC -DDEBUG_IDE
 endif
 
+
 ifeq ($(DEBUG_SHADOW_PAGING),1)
 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_SHADOW_PAGING
 else 
 ifeq ($(DEBUG_SHADOW_PAGING),0) 
 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_SHADOW_PAGING
 endif
+
+endif
+ifeq ($(DEBUG_NESTED_PAGING),1)
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_NESTED_PAGING
+else 
+ifeq ($(DEBUG_NESTED_PAGING),0) 
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_NESTED_PAGING
+endif
 endif
 
 ifeq ($(DEBUG_CTRL_REGS),1)
@@ -139,139 +117,163 @@ DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_EMULATOR
 endif
 endif
 
-ifeq ($(DEBUG_RAMDISK),1)
-DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_RAMDISK
+ifeq ($(DEBUG_IDE),1)
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_IDE
 else 
-ifeq ($(DEBUG_RAMDISK),0) 
-DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_RAMDISK
+ifeq ($(DEBUG_IDE),0) 
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_IDE
 endif
 endif
 
-ifeq ($(TRACE_RAMDISK),1)
-DEBUG_SECTIONS := $(DEBUG_SECTIONS -DTRACE_RAMDISK
-else
-ifeq ($(TRACE_RAMDSK),0)
-DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UTRACE_RAMDISK
+ifeq ($(DEBUG_XED),1)
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_XED
+else 
+ifeq ($(DEBUG_XED),0) 
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_XED
 endif
 endif
 
-
-
-#DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DTEST_NE2K
-
-ifeq ($(DEBUG),1)
-  JRLDEBUG= -DSERIAL_PRINT_DEBUG=1 -DSERIAL_PRINT_DEBUG_LEVEL=10 -DSERIAL_PRINT=1 -DVMM_DEBUG=1 -DVMM_INFO=1 -DVMM_TRACE=1 $(DEBUG_SECTIONS)
-
-else
-  JRLDEBUG= -DSERIAL_PRINT_DEBUG=0 -DSERIAL_PRINT_DEBUG_LEVEL=999999 -DSERIAL_PRINT=0 -DVMM_DEBUG=0 -DVMM_INFO=0 -DVMM_TRACE=0
+ifeq ($(DEBUG_HALT),1)
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_HALT
+else 
+ifeq ($(DEBUG_HALT),0) 
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_HALT
 endif
-
-
-#
-# DECODER is the decoder that will be used 
-# currently we only support xed
-#
-DECODER=XED
-
-DECODER_FLAGS=
-DECODER_SRCS=
-DECODER_LIBS=
-
-ifeq ($(DECODER),XED)
-DECODER_SRCS := vmm_xed.c
-DECODER_FLAGS :=  -L../lib/xed
-DECODER_LIBS := $(PROJECT_ROOT)/lib/xed/libxed.a
-else
-# This is an error
 endif
 
+ifeq ($(DEBUG_APIC),1)
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_APIC
+else 
+ifeq ($(DEBUG_APIC),0) 
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_APIC
+endif
+endif
 
+ifeq ($(DEBUG_PCI),1)
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_PCI
+else 
+ifeq ($(DEBUG_PCI),0) 
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_PCI
+endif
+endif
 
+ifeq ($(DEBUG_DEV_MGR),1)
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_DEV_MGR
+else 
+ifeq ($(DEBUG_DEV_MGR),0)
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) -UDEBUG_DEV_MGR
+endif
+endif
 
 
+ifeq ($(DEBUG),1)
+  JRLDEBUG=  -DVMM_DEBUG -DVMM_INFO -DVMM_TRACE $(DEBUG_SECTIONS)
+else
 
-#
-# This is wrong for current cygwin - no changes needed
-#
-# Figure out if we're compiling with cygwin, http://cygwin.com
-#
-# 
-#SYSTEM_NAME := $(shell uname -s)
-#ifeq ($(findstring CYGWIN,$(SYSTEM_NAME)),CYGWIN)
-#SYM_PFX            := _
-#EXTRA_C_OPTS       := -DNEED_UNDERSCORE -DGNU_WIN32
-#EXTRA_NASM_OPTS    := -DNEED_UNDERSCORE
-#NON_ELF_SYSTEM     := yes
-#EXTRA_CC_USER_OPTS := -Dmain=geekos_main
-#endif
-
-
-
-
-# ----------------------------------------------------------------------
-# Configuration -
-#   Various options specifying how GeekOS should be built,
-#   what source files to build, which user programs to build,
-#   etc.  This is generally the only section of the makefile
-#   that will need to be modified.
-# ----------------------------------------------------------------------
-
-# List of targets to build by default.
-# These targets encompass everything needed to boot
-# and run GeekOS.
-ALL_TARGETS := vmm vm_kernel
-
-
-
-
-
+endif
 
-VMM_ASM_SRCS :=  svm_lowlevel.asm vmm_lowlevel.asm\
-#			vmx_lowlevel.asm
 
-VMM_ASM_OBJS := $(VMM_ASM_SRCS:%.asm=palacios/%.o)
+ifeq ($(INSTRUMENT_VMM),1)
+  EXTRA_C_OPTS:= -DINSTRUMENT_VMM
+  INSTRUMENT_OPT := -finstrument-functions
+  OBJ_FILES := palacios/vmm_instrument.o
+else
+  INSTRUMENT_OPT := 
+endif
 
+CFLAGS = -fno-stack-protector
+
+
+# Compile targets
+
+ALL_TARGETS := vmm force_payload
+
+# Compilation Objects
+
+
+VMM_OBJS := \
+	palacios/vm_guest.o \
+	palacios/svm.o \
+	palacios/svm_handler.o \
+	palacios/vmm.o \
+	palacios/vmm_util.o \
+	palacios/vmm_ctrl_regs.o \
+	palacios/vmcb.o \
+	palacios/vmm_mem.o \
+	palacios/vmm_paging.o \
+	palacios/vmm_io.o \
+	palacios/vmm_debug.o \
+	palacios/svm_io.o \
+	palacios/vmm_intr.o \
+	palacios/vmm_excp.o \
+	palacios/vmm_time.o \
+	palacios/vmm_shadow_paging.o \
+	palacios/vm_guest_mem.o \
+	palacios/vm_dev.o \
+	palacios/vmm_dev_mgr.o \
+	palacios/vmm_decoder.o \
+	palacios/svm_halt.o \
+	palacios/svm_pause.o \
+	palacios/svm_wbinvd.o \
+	palacios/vmm_config.o \
+	palacios/vmm_hashtable.o \
+	palacios/vmm_string.o \
+	palacios/vmm_emulator.o \
+	palacios/vmm_queue.o \
+	palacios/vmm_host_events.o \
+	palacios/svm_lowlevel.o \
+	palacios/vmm_msr.o \
+	palacios/svm_msr.o \
+	palacios/vmm_socket.o \
+	palacios/vmm_xed.o \
+	palacios/vmm_rbtree.o \
+	palacios/vmm_profiler.o \
+	palacios/vmm_direct_paging.o \
+	palacios/vmm_ringbuffer.o \
+	palacios/vmm_hypercall.o \
+	$(OBJ_FILES)
 
-VMM_C_SRCS :=   vm_guest.c \
-	 	svm.c svm_handler.c vmm.c vmm_util.c vmm_ctrl_regs.c \
-		vmcb.c vmm_mem.c vmm_paging.c vmm_io.c vmm_debug.c svm_io.c \
-		vmm_intr.c vmm_time.c \
-		vmm_shadow_paging.c vm_guest_mem.c  \
-                vm_dev.c vmm_dev_mgr.c vmm_decoder.c \
-                svm_halt.c svm_pause.c svm_wbinvd.c \
-	        vmm_config.c vmm_hashtable.c \
-		vmm_string.c vmm_emulator.c vmm_queue.c\
-		vmm_host_events.c \
-		 $(DECODER_SRCS)
 #		vmx.c vmcs_gen.c vmcs.c
 
-VMM_C_OBJS := $(VMM_C_SRCS:%.c=palacios/%.o)
-
-VMM_OBJS := $(VMM_C_OBJS) $(VMM_ASM_OBJS)
-
-
-
-XED_C_SRCS := v3-xed-compat.c
-
-XED_C_OBJS := $(XED_C_SRCS:%.c=xed/%.o)
+# Extra C flags for the VMM objects
+$(VMM_OBJS) :: EXTRA_CFLAGS = \
+	$(JRLDEBUG) $(CFLAGS)\
 
-XED_GAS_SRCS := v3-udiv-compat.s
 
-XED_GAS_OBJS := $(XED_GAS_SRCS:%.s=xed/%.o)
 
-XED_OBJS := $(XED_C_OBJS) $(XED_GAS_OBJS)
+XED_OBJS := \
+	xed/v3-xed-compat.o \
+	xed/v3-udiv-compat.o \
 
+$(XED_OBJS) :: EXTRA_CFLAGS = \
+	$(JRLDEBUG) $(CFLAGS)\
 
+DEVICES_OBJS := \
+	devices/generic.o \
+	devices/keyboard.o \
+	devices/nvram.o \
+	devices/timer.o \
+	devices/simple_pic.o \
+	devices/8259a.o \
+	devices/8254.o \
+	devices/serial.o \
+	devices/bochs_debug.o \
+	devices/os_debug.o \
+	devices/apic.o	\
+	devices/io_apic.o \
+	devices/pci.o \
+	devices/para_net.o \
+	devices/ide.o \
+	devices/ram_cd.o \
+	devices/ram_hd.o \
+	devices/i440fx.o \
+	devices/piix3.o \
 
-DEVICE_C_SRCS := generic.c keyboard.c nvram.c timer.c simple_pic.c 8259a.c 8254.c serial.c ramdisk.c cdrom.c
-
-DEVICE_C_OBJS := $(DEVICE_C_SRCS:%.c=devices/%.o)
-
-DEVICE_OBJS := $(DEVICE_C_OBJS)
-
-V3LIBS := $(DECODER_LIBS)
-
+#	devices/ne2k.o	\
+#   	devices/vnic.o \
 
+$(DEVICES_OBJS) :: EXTRA_CFLAGS = \
+	$(JRLDEBUG) $(CFLAGS)\
 
 
 
@@ -280,17 +282,27 @@ V3LIBS := $(DECODER_LIBS)
 #   This section defines programs that are used to build GeekOS.
 # ----------------------------------------------------------------------
 
-
+ifeq ($(ARCH),64)
+V3_ARCH := __V3_64BIT__
+else 
 V3_ARCH := __V3_32BIT__
-#V3_ARCH := __V3_64BIT__
+endif
+
+
+ifeq ($(CRAY_XT),1)
+EXTRA_C_OPTS := $(EXTRA_C_OPTS) -DCRAY_XT
+endif
+
 
 # Uncomment if cross compiling
 #TARGET_CC_PREFIX :=  $(PROJECT_ROOT)/../devtools/i386/bin/i386-elf-
 #TARGET_CC_PREFIX :=  i386-elf-
 
-# Target C compiler.  gcc 2.95.2 or later should work.
+ifeq ($(ARCH),64)
+TARGET_CC := $(TARGET_CC_PREFIX)gcc -m64
+else 
 TARGET_CC := $(TARGET_CC_PREFIX)gcc -m32
-#TARGET_CC := $(TARGET_CC_PREFIX)gcc34 -m32
+endif
 
 
 # Target linker.  GNU ld is probably to only one that will work.
@@ -308,11 +320,15 @@ TARGET_NM := $(TARGET_CC_PREFIX)nm
 # Target objcopy
 TARGET_OBJCOPY := $(TARGET_CC_PREFIX)objcopy
 
-# Nasm (http://nasm.sourceforge.net)
-NASM := $(PROJECT_ROOT)/../devtools/bin/nasm
-#NASM := /opt/vmm-tools/bin/nasm
+CPP := cpp
+
 
+ifeq ($(ARCH),64)
+AS = as --64
+else 
 AS = as --32
+endif
+
 
 # Tool to build PFAT filesystem images.
 BUILDFAT := tools/builtFat.exe
@@ -339,18 +355,24 @@ FD_SECTORS_PER_TRACK := $(PERL) $(PROJECT_ROOT)/scripts/numsecs_per_track
 # ----------------------------------------------------------------------
 
 # Flags used for all C source files
-#GENERAL_OPTS := -O -Wall $(EXTRA_C_OPTS) $(VMM_FLAGS) -fPIC #-fvisibility=hidden
-GENERAL_OPTS :=  -O -Wall  $(EXTRA_C_OPTS) $(VMM_FLAGS) -fPIC #-fvisibility=hidden
-CC_GENERAL_OPTS := $(GENERAL_OPTS) -Werror 
-
-# Flags used for VMM C source files
-CC_VMM_OPTS := -g -I$(PROJECT_ROOT)/include -D__V3VEE__ -D$(V3_ARCH) $(DECODER_FLAGS) $(JRLDEBUG)
-
-# Flags used for VMM C ASM files
-NASM_VMM_OPTS := -I$(PROJECT_ROOT)/src/palacios/ -f elf $(EXTRA_NASM_OPTS)
-
-
 
+CC_GENERAL_OPTS = \
+	-O \
+	-Wall \
+	-g \
+	-D__V3VEE__ \
+	-D$(V3_ARCH) \
+	$(EXTRA_C_OPTS) \
+	$(VMM_FLAGS) \
+	-I$(PROJECT_ROOT)/include \
+	-Werror \
+	-fPIC \
+	-mno-red-zone \
+	-Wp,-MD,$(@D)/.$(@F).d \
+	-Wp,-MT,$@ \
+
+#-fPIC \
+#-fvisibility=hidden
 
 
 # Flags passed to objcopy program (strip unnecessary sections from kernel.exe)
@@ -361,26 +383,53 @@ OBJCOPY_FLAGS := -R .dynamic -R .note -R .comment
 #   Describes how to compile the source files.
 # ----------------------------------------------------------------------
 
-
-
-palacios/%.o : palacios/%.c
-	$(TARGET_CC) -c $(CC_GENERAL_OPTS) $(CC_VMM_OPTS) $< -o palacios/$*.o
-
-palacios/%.o : palacios/%.asm
-	$(NASM) $(NASM_VMM_OPTS) $< -o palacios/$*.o
-
-devices/%.o : devices/%.c
-	$(TARGET_CC) -c $(CC_GENERAL_OPTS) $(CC_VMM_OPTS) $< -o devices/$*.o
-
-devices/%.o : devices/%.asm
-	$(NASM) $(NASM_VMM_OPTS) $< -o devices/$*.o
-
-
-xed/%.o : xed/%.c
-	$(TARGET_CC) -c $(CC_GENERAL_OPTS) $(CC_VMM_OPTS) $< -o xed/$*.o
-
-xed/%.o : xed/%.s
-	$(AS) $< -o xed/$*.o
+# Compilation of kernel C source files
+# Usage:
+#	$(call build,TAG,commandline)
+#
+# If V=1 on the command line or the environment, then the actual
+# command executed will be echoed to the terminal.  Otherwise
+# only the tag and the output file will be printed to make
+# any warnings stand out from the compile messages.
+#
+build = \
+	@if [ -z "$V" ]; then \
+		echo '    [$1]	$@'; \
+		$2; \
+	else \
+		echo '$2'; \
+		$2; \
+	fi
+
+
+
+CC_COMPILE = \
+	$(call build,CC,$(TARGET_CC) \
+		$(CC_GENERAL_OPTS) \
+		$(EXTRA_CFLAGS) \
+		-c \
+		$< \
+		-o $@ \
+		$(INSTRUMENT_OPT) \
+	)
+
+AS_COMPILE = \
+	$(call build,AS,$(TARGET_CC) \
+		$(CC_GENERAL_OPTS) \
+		$(EXTRA_CFLAGS) \
+		-c \
+		$< \
+		-o $@ \
+		$(INSTRUMENT_OPT) \
+	)
+
+
+%.o: %.c
+	$(CC_COMPILE)
+%.o: %.S
+	$(AS_COMPILE)
+%.o: %.s
+	$(AS_COMPILE)
 
 
 # ----------------------------------------------------------------------
@@ -391,39 +440,17 @@ xed/%.o : xed/%.s
 # Default target - see definition of ALL_TARGETS in Configuration section
 all : $(ALL_TARGETS)
 
-
-#geekos/vmx_lowlevel.o: $(PROJECT_ROOT)/src/geekos/vmx_lowlevel.asm
-#	$(NASM) -O99 \
-#	-f elf \
-#		-I$(PROJECT_ROOT)/src/geekos/ \
-#		$(PROJECT_ROOT)/src/geekos/vmx_lowlevel.asm \
-#	-o $@
-
-
-#geekos/test: geekos/test.o geekos/vmcs.o geekos/vmx_lowlevel.o 
-#	$(CC) geekos/test.o geekos/vmcs.o geekos/vmx_lowlevel.o  -o geekos/test
-
-
-
 rombios_link:
 	ln -s -f ../src/vmboot/rombios/BIOS-bochs-latest rombios
 
 vgabios_link:
 	ln -s -f ../src/vmboot/vgabios/VGABIOS-lgpl-latest.bin vgabios
 
-force_lwip:
-	(cd ../src/lwip/build; make clean; make)
-
-force_rombios: rombios_link
-	(cd ../src/vmboot/rombios; make clean; make)
 
-force_vgabios: vgabios_link
-	(cd ../src/vmboot/vgabios; make clean; make)
-
-force_payload: force_rombios force_vgabios
+force_payload: rombios_link vgabios_link
 	../scripts/make_payload.pl payload_layout.txt vm_kernel
 
-inter1: force_payload force_lwip
+inter1: force_payload
 	-make clean
 
 world: inter1 vmm
@@ -431,23 +458,19 @@ world: inter1 vmm
 vmm: palacios/vmm.lib 
 
 
-
-
 # Loadable (flat) kernel image.
 palacios/vmm.bin : palacios/vmm.lib
 	$(TARGET_OBJCOPY) $(OBJCOPY_FLAGS) -S -O binary palacios/vmm.lib palacios/vmm.bin
 
 
 # The kernel executable and symbol map.
-palacios/vmm.lib: $(VMM_OBJS) $(DEVICE_OBJS) $(XED_OBJS) vm_kernel
-#	$(TARGET_LD) -o palacios/vmm.lib  \
-#		$(DECODER_FLAGS) \
-#		 $(VMM_OBJS) $(DEVICE_OBJS) $(XED_OBJS) $(V3LIBS) -b binary vm_kernel
-#	$(TARGET_NM) palacios/vmm.lib > palacios/vmm.syms
-	$(TARGET_AR) rcs libv3vee.a  \
-		 $(VMM_OBJS) $(DEVICE_OBJS) $(XED_OBJS)
-
+palacios/vmm.lib: libv3vee.a
+libv3vee.a: \
+	$(VMM_OBJS) \
+	$(DEVICES_OBJS) \
+	$(XED_OBJS) \
 
+	$(call build,AR,$(TARGET_AR) rcs $@ $^)
 
 force:
 
@@ -457,26 +480,10 @@ force:
 
 # Clean build directories of generated files
 clean :
-	for d in palacios devices; do \
-		(cd $$d && rm -f *); \
+	for d in palacios devices xed; do \
+		(cd $$d && rm -f * .*.d); \
 	done
 
 
-# Build header file dependencies, so source files are recompiled when
-# header files they depend on are modified.
-depend : $(GENERATED_LIBC_SRCS)
-
-	$(TARGET_CC) -M $(CC_GENERAL_OPTS) $(CC_KERNEL_OPTS) \
-		$(VMM_C_SRCS:%.c=$(PROJECT_ROOT)/src/palacios/%.c) \
-		| $(PERL) -n -e 's,^(\S),palacios/$$1,;print' \
-		>> depend.mak
-	$(TARGET_CC) -M $(CC_GENERAL_OPTS) $(CC_KERNEL_OPTS) \
-		$(DEVICE_C_SRCS:%.c=$(PROJECT_ROOT)/src/devices/%.c) \
-		| $(PERL) -n -e 's,^(\S),devices/$$1,;print' \
-		>> depend.mak
-
-# By default, there are no header file dependencies.
-depend.mak :
-	touch $@
-
-include depend.mak
+# Include all of the generated dependency files if they exist
+-include */.*.o.d