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.


Merge branch 'devel' 1.0
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 25 Oct 2008 18:39:54 +0000 (13:39 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 25 Oct 2008 18:39:54 +0000 (13:39 -0500)
commit66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2
tree405b583e96afe0bdd582cb7e47d494ea4aeffc68
parentf7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2
parent32694d99c15e00731a240e0fccea252e08bf5ada
Merge branch 'devel'

Conflicts:
palacios/include/devices/generic.h
palacios/src/devices/ramdisk.c
palacios/include/devices/generic.h
palacios/include/devices/ide.h
palacios/src/devices/ramdisk.c
palacios/src/palacios/vmm_config.c