use <bmk-rumpuser/rumpuser.h>

diff --git a/platform/baremetal/intr.c b/platform/baremetal/intr.c
index 6900cd4a36e1c557f05bc616060dbcae7f69d60b..c48478930e2f98680a9d58d87f9bedd4b3a650d4 100644 (file)
--- 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 *);