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: f23a8a8)
It works!
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 20:32:14 +0000 (15:32 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 20:32:14 +0000 (15:32 -0500)
commit5c6233eb88fe33c60907d72e8b5d8b13d4084a9e
tree6e84f3fe732b6c30f54358aa28fa7b3ebcfb69ebtree | snapshot
parentf23a8a82a0edfc989e5d6631fcca8ad829e218e4commit | diff
It works!
- Fixed CR3 addresses to be kernel virtual addresses before
dereferencing them.
- Re-arranged v3_handle_shadow_invlpg()
palacios/src/palacios/vmm_ctrl_regs.c diff | blob | history
palacios/src/palacios/vmm_shadow_paging.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project