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: 6fe9fe3)
symbiotic swap updates
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 20 Aug 2009 22:00:03 +0000 (17:00 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 20 Aug 2009 22:00:03 +0000 (17:00 -0500)
commit316c417125ed34aaa60f9fc5486a6d8dec4fb361
tree6a701533e23f087a64bc3cd9ccb075f2080c11b3tree | snapshot
parent6fe9fe338ec19b212b43bb2c25322dce3cdbb490commit | diff
symbiotic swap updates
maps in readonly with user flag setting
palacios/src/palacios/vmm_shadow_paging.c diff | blob | history
palacios/src/palacios/vmm_shadow_paging_32.h diff | blob | history
palacios/src/palacios/vmm_sym_swap.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project