X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Farch%2Fx86_64%2Fboot%2FMakefile;h=7f3f3633d9688763ccef0c8c329570889459456b;hb=8bbdb0f7364d71ecc094eab4e741043cb6e6db49;hp=28dcf2f970357d0259b5e17b390967040a43abdf;hpb=9785cbb377eb0c556180caa43848a18e84f5dd2a;p=palacios-OLD.git

diff --git a/kitten/arch/x86_64/boot/Makefile b/kitten/arch/x86_64/boot/Makefile
index 28dcf2f..7f3f363 100644
--- a/kitten/arch/x86_64/boot/Makefile
+++ b/kitten/arch/x86_64/boot/Makefile
@@ -57,7 +57,11 @@ $(obj)/compressed/vmlwk: FORCE
 # Set this if you want to pass append arguments to the isoimage kernel
 FDARGS = console=vga,serial debug_mptable=1 init_argv="one two three" init_envp="one=1 two=2 three=3"
 # Set this if you want an initrd included with the isoimage kernel
+ifdef CONFIG_V3VEE
+FDINITRD = /opt/vmm-tools/isos/puppy.iso
+else
 FDINITRD = init_task
+endif
 
 image_cmdline = default lwk $(FDARGS) $(if $(FDINITRD),initrd=initrd.img,)