From 9684bc8c3659bd804298c7372dacda238c6f297c Mon Sep 17 00:00:00 2001
From: Thomas Leonard <talex5@gmail.com>
Date: Thu, 26 Jun 2014 12:28:32 +0100
Subject: [PATCH] mini-os: enable test_xenbus again

The old code said "Xenbus tests disabled, because of a Xend bug".
Since xend doesn't exist any longer, we can enable these again.

Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
---
 extras/mini-os/test.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/extras/mini-os/test.c b/extras/mini-os/test.c
index bbfc6134f6..20d372b888 100644
--- a/extras/mini-os/test.c
+++ b/extras/mini-os/test.c
@@ -56,8 +56,7 @@ void test_xenbus(void);
 
 static void xenbus_tester(void *p)
 {
-    printk("Xenbus tests disabled, because of a Xend bug.\n");
-    /* test_xenbus(); */
+    test_xenbus();
 }
 #endif
 
-- 
2.39.5