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: 6c56ead)
cleaned up dev manager implementation
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 6 Feb 2009 06:16:59 +0000 (00:16 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 6 Feb 2009 06:16:59 +0000 (00:16 -0600)
commitf23519733b314e4cbaf0b2f1e4ea317302680898
treeb471a2388b16be5363e41d3b7b983ffb620ed551tree | snapshot
parent6c56ead58f57e08c23eab5d67f2a58f95ce712b4commit | diff
cleaned up dev manager implementation
palacios/include/palacios/vmm_dev_mgr.h diff | blob | history
palacios/src/palacios/vmm_dev_mgr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project