Use the puppy linux iso instead of the init_task for V3VEE development

diff --git a/kitten/arch/x86_64/boot/Makefile b/kitten/arch/x86_64/boot/Makefile
index 28dcf2f..7f3f363 100644 (file)
--- 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,)