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.


added 64 bit paging for paged real mode
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 23:28:20 +0000 (18:28 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 23:28:20 +0000 (18:28 -0500)
commit0c51b09942d51a3b355728526333ad3f3895131d
treea56352782a849e9a2ce2f69e0897786009d5e26c
parent9dc62167c8f74a37391028c558f46db50a7998d1
added 64 bit paging for paged real mode
palacios/include/palacios/vmm_paging.h
palacios/src/palacios/svm.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_paging.c