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

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>