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: 35b12c6)
First attempt at speculative paging around the address that faulted
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 25 Mar 2009 18:39:28 +0000 (13:39 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 25 Mar 2009 18:39:28 +0000 (13:39 -0500)
commit9487b7d59cab801ef521a89187dfd1e33fa36c45
treee9b41d748c84c4e82c80e0539a8c1e4bc8289be6tree | snapshot
parent35b12c60af3cecffd00068990e61ab6fa01d49fecommit | diff
First attempt at speculative paging around the address that faulted
It only attempts to fill the leaf page table
geekos/src/geekos/main.c diff | blob | history
manual/manual.pdf diff | blob | history
palacios/src/palacios/vmm_shadow_paging.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project