debuggers.hg

changeset 10675:09378a9ca8ad

find changesets by author, revision, files, or words in the commit message
[MINIOS] XenBus tests disabled in MiniOS. Xend bug induced
by write to device/vif/0.
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
author kfraser@localhost.localdomain
date Wed Jul 05 11:27:25 2006 +0100 (2006-07-05)
parents fed18f971f72
children 43474e663b3d
files extras/mini-os/kernel.c
line diff
     1.1 --- a/extras/mini-os/kernel.c	Wed Jul 05 11:26:57 2006 +0100
     1.2 +++ b/extras/mini-os/kernel.c	Wed Jul 05 11:27:25 2006 +0100
     1.3 @@ -104,7 +104,8 @@ void test_xenbus(void);
     1.4  
     1.5  void xenbus_tester(void *p)
     1.6  {
     1.7 -    test_xenbus();
     1.8 +    printk("Xenbus tests disabled, because of a Xend bug.\n");
     1.9 +    /* test_xenbus(); */
    1.10  }
    1.11  
    1.12  /* This should be overridden by the application we are linked against. */