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.


More changed files
authorPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 24 Feb 2012 17:56:12 +0000 (10:56 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 24 Feb 2012 17:56:12 +0000 (10:56 -0700)
commit85072cab5137e1db9aa3f8e9b8cc82887b72d9db
tree3ba96280adfe647bb6aa9e69c5b3efea54f1998c
parentda7d4e63c760026f1c725dfcd58d880d505cd6a7
More changed files
palacios/include/palacios/vmm_time.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_halt.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmx.c