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: 775901a)
Minor configuration fix for large page->large page fix.
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Tue, 10 Aug 2010 22:23:21 +0000 (16:23 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Tue, 10 Aug 2010 22:23:21 +0000 (16:23 -0600)
commit0aed29b0f8c93d2bef57d589e8bf058445e89fc2
treee7ac27b5976a487314440b0ebfa56d37f7c855cftree | snapshot
parent775901a5d4ae980ca6f59a2dfdd238189ae610b7commit | diff
Minor configuration fix for large page->large page fix.
palacios/src/palacios/vmm_config.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project