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.


Philip's changes along with some minor changes from Kevin.
authorKevin Pedretti <ktpedre@x300.(none)>
Fri, 15 Jan 2010 00:16:12 +0000 (17:16 -0700)
committerKevin Pedretti <ktpedre@x300.(none)>
Fri, 15 Jan 2010 00:16:12 +0000 (17:16 -0700)
commit1f7a670397e97ea1028294d7b7b45d6ef1797d65
treecd09dae1243b36e8dc8b78d6e78c75c4f83946ce
parent8157842941c07d83079097ce6366c19d934d11f7
Philip's changes along with some minor changes from Kevin.
palacios/include/palacios/vmm.h
palacios/src/devices/apic.c
palacios/src/devices/keyboard.c
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_xml.c
utils/guest_creator/default.xml