vkernel - Use 'vcd0' by default.
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Sat, 1 Mar 2014 11:54:54 +0000 (03:54 -0800)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Sat, 1 Mar 2014 11:54:54 +0000 (03:54 -0800)
- This allow booting our ISO images directly.

sys/platform/vkernel/platform/init.c
sys/platform/vkernel64/platform/init.c

index fc773ba..bbb1643 100644 (file)
@@ -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";
index 29fd114..d27d2a4 100644 (file)
@@ -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";