From 060fb3f5f68e87e8f51aeed5d4d5cfa7f59599ae Mon Sep 17 00:00:00 2001 From: Antonio Huete Jimenez Date: Sat, 1 Mar 2014 03:54:54 -0800 Subject: [PATCH] vkernel - Use 'vcd0' by default. - This allow booting our ISO images directly. --- sys/platform/vkernel/platform/init.c | 2 +- sys/platform/vkernel64/platform/init.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/sys/platform/vkernel/platform/init.c b/sys/platform/vkernel/platform/init.c index fc773ba3ce..bbb1643f61 100644 --- a/sys/platform/vkernel/platform/init.c +++ b/sys/platform/vkernel/platform/init.c @@ -848,7 +848,7 @@ init_disk(char *diskExp[], int diskFileNum, enum vkdisk_type type) if (DiskNum == 0) { if (type == VKD_CD) { - rootdevnames[0] = "cd9660:vcd0a"; + rootdevnames[0] = "cd9660:vcd0"; } else if (type == VKD_DISK) { rootdevnames[0] = "ufs:vkd0s0a"; rootdevnames[1] = "ufs:vkd0s1a"; diff --git a/sys/platform/vkernel64/platform/init.c b/sys/platform/vkernel64/platform/init.c index 29fd11433b..d27d2a487e 100644 --- a/sys/platform/vkernel64/platform/init.c +++ b/sys/platform/vkernel64/platform/init.c @@ -974,7 +974,7 @@ init_disk(char *diskExp[], int diskFileNum, enum vkdisk_type type) if (DiskNum == 0) { if (type == VKD_CD) { - rootdevnames[0] = "cd9660:vcd0a"; + rootdevnames[0] = "cd9660:vcd0"; } else if (type == VKD_DISK) { rootdevnames[0] = "ufs:vkd0s0a"; rootdevnames[1] = "ufs:vkd0s1a"; -- 2.41.0