diff options
| -rw-r--r-- | extras/mini-os/blkfront.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/mini-os/blkfront.c b/extras/mini-os/blkfront.c index eda17bafe5..0f80ce88f1 100644 --- a/extras/mini-os/blkfront.c +++ b/extras/mini-os/blkfront.c @@ -71,8 +71,8 @@ struct blkfront_dev *init_blkfront(char *nodename, uint64_t *sectors, unsigned * struct blkfront_dev *dev; - ASSERT(!strncmp(nodename, "/local/domain/", 14)); - nodename = strchr(nodename + 14, '/') + 1; + if (!nodename) + nodename = "device/vbd/768"; char path[strlen(nodename) + 1 + 10 + 1]; |