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: f01a143)
moved vmm_lowlevel.asm to C header file vmm_lowlevel.h
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 20 Oct 2008 21:40:04 +0000 (16:40 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 20 Oct 2008 21:40:04 +0000 (16:40 -0500)
commit773e6e7d212b3ece194cd0e75a383db7d2b9a2b1
treedff6eacc35970742f55bd53c708f7302bf01ce19tree | snapshot
parentf01a143a28b1c4d350ce714559c7751786761bf2commit | diff
moved vmm_lowlevel.asm to C header file vmm_lowlevel.h
palacios/build/Makefile diff | blob | history
palacios/include/palacios/vmm_lowlevel.h [new file with mode: 0644] blob
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/svm_lowlevel.asm diff | blob | history
palacios/src/palacios/vmm_lowlevel.asm [deleted file] blob | history
Public Palacios Development Repository for the V3VEE Project