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.


moved direct paging implementation over to new memory region flags structure
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 14 May 2010 23:36:53 +0000 (18:36 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 14 May 2010 23:36:53 +0000 (18:36 -0500)
commitfd9690bf0f032246f2d2c596e2467cccc45faff6
tree182a70eca7978b1f368277130c24e02d7f32e46d
parent9959b08bfa0a2a0ee51866199c5b1d7b2b690237
moved direct paging implementation over to new memory region flags structure
palacios/src/palacios/vmm_direct_paging_32.h
palacios/src/palacios/vmm_direct_paging_32pae.h
palacios/src/palacios/vmm_direct_paging_64.h