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: 6b36066)
Actually fixed page alignment computation to be correct, moved into vmm_mem.h for...
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 12 Aug 2010 17:05:05 +0000 (11:05 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 12 Aug 2010 17:05:05 +0000 (11:05 -0600)
commit1fd0d9b438ed24410346ad7a4a23de70a6ad68ea
tree88f2f7ac7ef62d2669b603295e7d70a3af1cc496tree | snapshot
parent6b3606622300e3f0d45f7b8388e4c625a644aa4fcommit | diff
Actually fixed page alignment computation to be correct, moved into vmm_mem.h for use with 4MB pages, too.
palacios/include/palacios/vmm_mem.h diff | blob | history
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_64.h diff | blob | history
palacios/src/palacios/vmm_mem.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project