X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=geekos%2Fsrc%2Flwip%2Farch%2Fsys_arch.c;h=52746db7bccec2b095d5e120d47e50915f3305d9;hp=e390d98239ad534fd6a2144d96665dad203ccfc7;hb=e52012d02075f22e392e5a1d86165f273302b6f7;hpb=a1073097716c800734e117267ce7aa92aa0d9a17

diff --git a/geekos/src/lwip/arch/sys_arch.c b/geekos/src/lwip/arch/sys_arch.c
index e390d98..52746db 100644
--- a/geekos/src/lwip/arch/sys_arch.c
+++ b/geekos/src/lwip/arch/sys_arch.c
@@ -51,7 +51,7 @@
 
 #include <string.h>
 
-#include <palacios/vmm.h>
+//#include <palacios/vmm.h>
 #include <geekos/synch.h>
 #include <geekos/kthread.h>
 #include <geekos/debug.h>