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>
Tue, 26 Jan 2010 06:50:35 +0000 (00:50 -0600)
commit571979dad8fc2138a7e11c4fe61e812a0a0b17d1
tree957f9d99c8796a1d9dda8f9b377045f953340b51
parent99af50a89f5eb27e7e1c84aba01d72c06edc229a
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