diff options
Diffstat (limited to 'extras/mini-os/kernel.c')
| -rw-r--r-- | extras/mini-os/kernel.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index 495e1f6ae6..d9a58389c2 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -35,6 +35,7 @@ #include <lib.h> #include <sched.h> #include <xenbus.h> +#include "xenbus/xenbus_comms.h" /* * Shared page for communicating with the hypervisor. |