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.


huge update for merge
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 6 Apr 2009 16:42:10 +0000 (11:42 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 6 Apr 2009 16:42:10 +0000 (11:42 -0500)
commitc535b3199977444c3aa2c44b852cc82ce659c5ff
tree0b0f4bcd811718a0ccda08bc47a8f07d0b55c7d8
parent6661dd1d2aa547ae248e816dcd4201bcbcb7fee0
huge update for merge
palacios/src/devices/ata.h
palacios/src/devices/ide.c
palacios/src/devices/os_debug.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_config.c