From: Jack Lange <jacklange@cs.pitt.edu>
Date: Tue, 14 Jun 2011 17:19:07 +0000 (-0500)
Subject: rename fix
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=747f685ed77e4df26eb9b7b6b32412448852ffec

rename fix
---

diff --git a/linux_module/Makefile b/linux_module/Makefile
index 86d16a4..137674c 100644
--- a/linux_module/Makefile
+++ b/linux_module/Makefile
@@ -9,7 +9,7 @@ endif
 EXTRA_CFLAGS  += -I$(PWD)/../palacios/include/ -include autoconf.h -DMODULE=1 -D__KERNEL__=1
 
 
-v3vee-y := 	os_stubs.o \
+v3vee-y := 	palacios-stubs.o \
 		main.o \
 		vm.o \
 		mm.o \
diff --git a/linux_module/os_stubs.c b/linux_module/palacios-stubs.c
similarity index 100%
rename from linux_module/os_stubs.c
rename to linux_module/palacios-stubs.c