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: 29dcf8d)
update
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 4 Apr 2008 03:34:35 +0000 (03:34 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 4 Apr 2008 03:34:35 +0000 (03:34 +0000)
commit4c17fb67c38120c141fa36bca9d7faa418b3c8e5
treea206176085b91ed774054091bc40ed8bfe816e11tree | snapshot
parent29dcf8d7134d5c8fe56ec1f3ffaaa37192ce6fb8commit | diff
update
palacios/include/geekos/vmm_emulate.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project