X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_binaries.S;h=414f3da6f13444e70ff18ea49058fb4ec4830fd0;hb=ce0f119828348c3c57a00c4aa268a8a223ccd7f8;hp=0caa9dc348d8e3328177b7e937695f7080b04c6b;hpb=d34450b1e6fe3c2e1295c268c1722c669ba8d545;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmm_binaries.S b/palacios/src/palacios/vmm_binaries.S
index 0caa9dc..414f3da 100644
--- a/palacios/src/palacios/vmm_binaries.S
+++ b/palacios/src/palacios/vmm_binaries.S
@@ -21,32 +21,55 @@
 
 .data
 
-#ifdef CONFIG_VMX
+#ifdef V3_CONFIG_VMX
 .globl v3_vmxassist_start
 v3_vmxassist_start:
-.incbin CONFIG_VMXASSIST_PATH
+.incbin V3_CONFIG_VMXASSIST_PATH
 .globl v3_vmxassist_end
 v3_vmxassist_end:
 #endif
 
-
+#if defined(V3_CONFIG_SEABIOS) || defined(V3_CONFIG_BOCHSBIOS)
 .globl v3_vgabios_start
 v3_vgabios_start:
-.incbin CONFIG_VGABIOS_PATH
+#ifdef V3_CONFIG_SEABIOS
+.incbin V3_CONFIG_SEABIOSVGA_PATH
+#endif
+#ifdef V3_CONFIG_BOCHSBIOS
+.incbin V3_CONFIG_BOCHSBIOSVGA_PATH
+#endif
 .global v3_vgabios_end
 v3_vgabios_end:
+#endif
 
 .globl v3_rombios_start
 v3_rombios_start:
-.incbin CONFIG_ROMBIOS_PATH
+#ifdef V3_CONFIG_SEABIOS
+.incbin V3_CONFIG_SEABIOS_PATH
+#endif
+#ifdef V3_CONFIG_BOCHSBIOS
+.incbin V3_CONFIG_BOCHSBIOS_PATH
+#endif
+#ifdef V3_CONFIG_OTHERBIOS
+.incbin V3_CONFIG_OTHERBIOS_PATH
+#endif
 .globl v3_rombios_end
 v3_rombios_end:
 
-
-#ifdef CONFIG_USE_PXE_BIOS
+#ifdef V3_CONFIG_USE_PXE_BIOS
 .globl pxebios_start
 pxebios_start:
-.incbin CONFIG_PXEBIOS_PATH
+.incbin V3_CONFIG_PXEBIOS_PATH
 .globl pxebios_end
 pxebios_end:
 #endif
+
+
+/* temporary module */
+/*
+.globl symmod_start
+symmod_start:
+.incbin "./palacios/src/modules/test.ko"
+.globl symmod_end
+symmod_end:*/
+