diff options
Diffstat (limited to 'extras/mini-os/main.c')
-rw-r--r-- | extras/mini-os/main.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/extras/mini-os/main.c b/extras/mini-os/main.c index 204cf85f8a..ebdab33921 100644 --- a/extras/mini-os/main.c +++ b/extras/mini-os/main.c @@ -69,11 +69,6 @@ static void call_main(void *p) #endif #ifdef CONFIG_QEMU - if (!fs_import) { - printk("No FS backend found, is it running?\n"); - do_exit(); - } - /* Fetch argc, argv from XenStore */ domid = xenbus_read_integer("target"); if (domid == -1) { |