X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmcs.c;h=68faebd81b2ca1d103953876f3176444c082a5b3;hb=b85f79b8030114370851ed3422c078debe630570;hp=fdb962f251ac46c863be8dc04810ab38f7f1ec96;hpb=01e2bfdc462dbbe8d62b71c7e99e198c27844f0f;p=palacios.releases.git

diff --git a/palacios/src/geekos/vmcs.c b/palacios/src/geekos/vmcs.c
index fdb962f..68faebd 100644
--- a/palacios/src/geekos/vmcs.c
+++ b/palacios/src/geekos/vmcs.c
@@ -1,5 +1,5 @@
 #include <geekos/vmcs.h>
-#include <geekos/serial.h>
+