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' of ssh://palacios@newskysaw/home/palacios/palacios into devel
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 2 Mar 2011 22:21:39 +0000 (16:21 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 2 Mar 2011 22:21:39 +0000 (16:21 -0600)
commitc7b8465c6a056d5603e8733b280fefe6809ed738
treee136fb01af23d7255d0461a4ba86b033f656b6fe
parentadee0fafaa51f4bf28abe7461006be9b9d3dbceb
parentf2dd1e1c84245765e5fb67c19ba21697d694d5e6
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

Conflicts:

palacios/src/devices/apic.c
palacios/src/devices/apic.c
palacios/src/palacios/svm.c