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 back in 32 bit support
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 26 Jan 2010 06:50:35 +0000 (00:50 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 30 Jan 2010 21:24:30 +0000 (15:24 -0600)
commite4bc6022970d0f8252e1f2ac512f7d977b40e51b
treea9383c6f0710fdd1d2273dd44aa2fad76c70cf24
parentc31f51134ba446530ff67fa0723ce634c70c2812
added back in 32 bit support
palacios/include/palacios/vmm_lowlevel.h
palacios/src/devices/lnx_virtio_balloon.c
palacios/src/devices/lnx_virtio_sym.c
palacios/src/devices/sym_swap2.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_sym_iface.c