From: Antti Kantee <pooka@iki.fi>
Date: Thu, 30 Apr 2015 15:35:48 +0000 (+0000)
Subject: use <bmk-rumpuser/rumpuser.h>
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=6f3e5bef985e0139cb28f76810ca3349002079d7;p=people%2Fliuw%2Frumprun.git

use <bmk-rumpuser/rumpuser.h>
---

diff --git a/platform/baremetal/intr.c b/platform/baremetal/intr.c
index 6900cd4..c484789 100644
--- a/platform/baremetal/intr.c
+++ b/platform/baremetal/intr.c
@@ -30,8 +30,7 @@
 #include <bmk-core/queue.h>
 #include <bmk-core/sched.h>
 
-#define LIBRUMPUSER
-#include "rumpuser_int.h"
+#include <bmk-rumpuser/rumpuser.h>
 
 struct intrhand {
 	int (*ih_fun)(void *);