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.


various fixes
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 24 Apr 2012 21:16:44 +0000 (17:16 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 24 Apr 2012 21:14:43 +0000 (17:14 -0400)
commit94966f95239e03c7df97bd71d6be3e1316239d21
tree187f0674742c50e893fa352421b5d500756d1092
parent468723ed5588347d32cca67553528a450a50ab36
various fixes
linux_module/iface-file.c
palacios/include/interfaces/vmm_file.h
palacios/src/devices/filedisk.c
palacios/src/devices/ide.c
palacios/src/devices/pci.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_shadow_paging.c