added PCI debugging

[palacios.git] / palacios / build / Makefile

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index bf527cd..de62095 100644 (file)
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -187,6 +187,14 @@ 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 
@@ -320,8 +328,8 @@ DEVICES_OBJS := \
        devices/os_debug.o \
        devices/apic.o  \
        devices/io_apic.o \
-       devices/vpci.o \
-
+       devices/pci.o \
+       devices/para_net.o \
 
 #      devices/vnic.o \
 
@@ -342,6 +350,11 @@ V3_ARCH := __V3_32BIT__
 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-
@@ -421,6 +434,7 @@ CC_GENERAL_OPTS = \
        -I$(PROJECT_ROOT)/include \
        -Werror \
        -fPIC \
+       -mno-red-zone \
        -Wp,-MD,$(@D)/.$(@F).d \
        -Wp,-MT,$@ \