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 /home/palacios/palacios into devel
authorLei Xia <lxia@northwestern.edu>
Mon, 16 Mar 2009 18:10:35 +0000 (13:10 -0500)
committerLei Xia <lxia@northwestern.edu>
Mon, 16 Mar 2009 18:10:35 +0000 (13:10 -0500)
commit95ca28a23f949b13c857ba0b061a2ca465683e8e
tree6d69b5757587c77aa020499842a014fc0864365a
parent643fbf6c339a64667edc263063de8f3345b82b3d
parentf95fab77fae701c452fff93326d1cc2797d16b35
Merge branch 'devel' of /home/palacios/palacios into devel

Conflicts:
palacios/src/devices/pci.c
palacios/include/devices/pci.h
palacios/src/devices/pci.c