diff options
| -rw-r--r-- | extras/mini-os/kernel.c | 3 |
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. */ |