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: 729766a)
updated assembly to build in 64 bit mode
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 21 Oct 2008 20:36:51 +0000 (15:36 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 21 Oct 2008 20:36:51 +0000 (15:36 -0500)
commit04977d080b9850506ced2523b6130abc517b61df
tree2937553c8ee95fc7feb9bb9a49a385469c19ed71tree | snapshot
parent729766ab651b7ea7f10f6e4a49ac8fffdc0694c4commit | diff
updated assembly to build in 64 bit mode
IMPORTANT 64 bit v3_svm_launch is not implemented
palacios/include/palacios/vmm_lowlevel.h diff | blob | history
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/svm_lowlevel.S diff | blob | history
Public Palacios Development Repository for the V3VEE Project