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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 4611301)
Minor fix to the halt handler
authorLei Xia <lxia@northwestern.edu>
Wed, 28 Apr 2010 21:25:14 +0000 (16:25 -0500)
committerLei Xia <lxia@northwestern.edu>
Wed, 28 Apr 2010 21:25:14 +0000 (16:25 -0500)
commit0027db7c5ddd6b376f1d18e9cdd619126d5896c4
tree1533e197020e136a07196a4e34ee2cd2f77ed5a3tree | snapshot
parent46113012016d5064ca8617dbb39f04c9763fd911commit | diff
Minor fix to the halt handler
palacios/src/palacios/vmm_halt.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project