aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/kernel.c
diff options
context:
space:
mode:
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>2006-07-05 11:27:25 +0100
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>2006-07-05 11:27:25 +0100
commitc5f5756de82e6b64d956a85d7b5a8e629b623083 (patch)
treeb93d92fdaa966bbab9e584fbb32b86a9a8891835 /extras/mini-os/kernel.c
parent933e1fc27486aaaed90d12f86b856c2c2f12222f (diff)
downloadxen-c5f5756de82e6b64d956a85d7b5a8e629b623083.tar.gz
xen-c5f5756de82e6b64d956a85d7b5a8e629b623083.tar.bz2
xen-c5f5756de82e6b64d956a85d7b5a8e629b623083.zip
[MINIOS] XenBus tests disabled in MiniOS. Xend bug induced
by write to device/vif/0. Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
Diffstat (limited to 'extras/mini-os/kernel.c')
-rw-r--r--extras/mini-os/kernel.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c
index 1a7748fe0d..8aefaaa248 100644
--- a/extras/mini-os/kernel.c
+++ b/extras/mini-os/kernel.c
@@ -104,7 +104,8 @@ void test_xenbus(void);
void xenbus_tester(void *p)
{
- test_xenbus();
+ printk("Xenbus tests disabled, because of a Xend bug.\n");
+ /* test_xenbus(); */
}
/* This should be overridden by the application we are linked against. */