From 7dabde509d67f85178d7a690e207175850c88b39 Mon Sep 17 00:00:00 2001
From: Antti Kantee <pooka@iki.fi>
Date: Wed, 4 Nov 2015 12:48:51 +0000
Subject: [PATCH] prune unnecessary header

---
 platform/xen/xen/kernel.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/platform/xen/xen/kernel.c b/platform/xen/xen/kernel.c
index e1220cb..549e936 100644
--- a/platform/xen/xen/kernel.c
+++ b/platform/xen/xen/kernel.c
@@ -44,7 +44,6 @@
 #include <xen/version.h>
 
 #include <bmk-core/core.h>
-#include <bmk-core/pgalloc.h>
 #include <bmk-core/printf.h>
 
 uint8_t _minios_xen_features[XENFEAT_NR_SUBMAPS * 32];
-- 
2.39.5