p9dev->compat_id = compat__add_message("virtio-9p device was not detected",
"While you have requested a virtio-9p device, "
"the guest kernel didn't seem to detect it.\n"
- "Please make sure that the kernel was compiled"
+ "Please make sure that the kernel was compiled "
"with CONFIG_NET_9P_VIRTIO.");
return err;
bdev.compat_id = compat__add_message("virtio-balloon device was not detected",
"While you have requested a virtio-balloon device, "
"the guest kernel didn't seem to detect it.\n"
- "Please make sure that the kernel was compiled"
+ "Please make sure that the kernel was compiled "
"with CONFIG_VIRTIO_BALLOON.");
}
bdev->compat_id = compat__add_message("virtio-blk device was not detected",
"While you have requested a virtio-blk device, "
"the guest kernel didn't seem to detect it.\n"
- "Please make sure that the kernel was compiled"
+ "Please make sure that the kernel was compiled "
"with CONFIG_VIRTIO_BLK.");
}
cdev.compat_id = compat__add_message("virtio-console device was not detected",
"While you have requested a virtio-console device, "
"the guest kernel didn't seem to detect it.\n"
- "Please make sure that the kernel was compiled"
+ "Please make sure that the kernel was compiled "
"with CONFIG_VIRTIO_CONSOLE.");
}
ndev.compat_id = compat__add_message("virtio-net device was not detected",
"While you have requested a virtio-net device, "
"the guest kernel didn't seem to detect it.\n"
- "Please make sure that the kernel was compiled"
+ "Please make sure that the kernel was compiled "
"with CONFIG_VIRTIO_NET.");
}
rdev->compat_id = compat__add_message("virtio-rng device was not detected",
"While you have requested a virtio-rng device, "
"the guest kernel didn't seem to detect it.\n"
- "Please make sure that the kernel was compiled"
+ "Please make sure that the kernel was compiled "
"with CONFIG_HW_RANDOM_VIRTIO.");
}