Permalink
Browse files

vkernel - Use 'vcd0' by default.

- This allow booting our ISO images directly.
  • Loading branch information...
1 parent 14075a6 commit 060fb3f5f68e87e8f51aeed5d4d5cfa7f59599ae @tuxillo tuxillo committed Mar 1, 2014
Showing with 2 additions and 2 deletions.
  1. +1 −1 sys/platform/vkernel/platform/init.c
  2. +1 −1 sys/platform/vkernel64/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";
@@ -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";

0 comments on commit 060fb3f

Please sign in to comment.