Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


added functioning ramdisk, makefile support
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 2 Oct 2008 22:00:15 +0000 (17:00 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 2 Oct 2008 22:00:15 +0000 (17:00 -0500)
commit6eecf583b522147ef13faabb634562f6f23bb712
treeb541f99820bf424c18068531da9a9830be3e0f1b
parent963271f089c8da043d1c0f5d1549f13f794a4c6b
added functioning ramdisk, makefile support
palacios/build/Makefile
palacios/build/NOTES-QEMU.TXT
palacios/build/iso/boot/grub/menu.lst [new file with mode: 0644]
palacios/build/iso/boot/grub/stage2_eltorito [new file with mode: 0644]
palacios/include/devices/atapi.h [deleted file]
palacios/include/devices/ide.h
palacios/include/palacios/vmm.h
palacios/src/devices/cdrom.c
palacios/src/devices/ramdisk.c
palacios/src/palacios/vmm_config.c