From: Peter Dinda <pdinda@northwestern.edu>
Date: Wed, 4 Jan 2017 18:28:45 +0000 (-0600)
Subject: Compile fix for Nautilus changes
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=32dfeb120c3b57c33f624e39a2c368ad78b7526d

Compile fix for Nautilus changes
---

diff --git a/nautilus/palacios-stubs.c b/nautilus/palacios-stubs.c
index 45d8e7b..6eae346 100644
--- a/nautilus/palacios-stubs.c
+++ b/nautilus/palacios-stubs.c
@@ -4,7 +4,7 @@
 #include <nautilus/cpu.h>
 #include <nautilus/mm.h>
 #include <nautilus/vc.h>
-#include <dev/timer.h>
+#include <nautilus/timer.h>
 #include <dev/apic.h>
 
 #include <palacios/vmm.h>