rename fix

diff --git a/linux_module/Makefile b/linux_module/Makefile
index 86d16a4..137674c 100644 (file)
--- 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