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: 0899a5c)
Fixed a = versus == thing
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Oct 2008 16:58:26 +0000 (11:58 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Oct 2008 16:58:26 +0000 (11:58 -0500)
commitcb92a05b8a83e87b7496eb6d14cd4c593c0b653b
tree69bd6a9593ba9db8a85c51607662a658c8d49485tree | snapshot
parent0899a5c74318e582f3d6ebec52cc744cdb727734commit | diff
Fixed a = versus == thing
palacios/src/palacios/vmm_shadow_paging.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project