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: 3b0d98a)
More timing cleanup
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Tue, 14 Jun 2011 18:57:56 +0000 (12:57 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Tue, 14 Jun 2011 18:57:56 +0000 (12:57 -0600)
commit33d86eaa5e5081775fd013466393496b476925b0
tree23f2e4e8253607b03a0fc147a0e2a03085f9783btree | snapshot
parent3b0d98aaf40fd7a1bfc3bc736144386636cc7a73commit | diff
More timing cleanup
palacios/src/devices/apic.c diff | blob | history
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/vmx.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project