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: 884af29)
turned off VGA hooks
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 24 Feb 2009 23:11:25 +0000 (17:11 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 24 Feb 2009 23:11:25 +0000 (17:11 -0600)
commitf44ca084bc46b20de6414920ab3a6fe53688095f
treef905976c812332c29537858a6b5705c48f7ba448tree | snapshot
parent884af29cad9a7919f5e5e8bcb2e1ba3a1009eb9fcommit | diff
turned off VGA hooks
palacios/src/palacios/vmm_config.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project