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: 305267e)
updates to make things more configurable
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 2 Mar 2011 22:14:24 +0000 (16:14 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 2 Mar 2011 22:14:24 +0000 (16:14 -0600)
commitadee0fafaa51f4bf28abe7461006be9b9d3dbceb
treef6b1534aa2d3dfae61d39c8c825d367639631182tree | snapshot
parent305267e8eaabf7dffadd86abc323f7d1b231e388commit | diff
updates to make things more configurable
palacios/include/palacios/vmm_extensions.h [new file with mode: 0644] blob
palacios/include/palacios/vmm_mtrr.h [new file with mode: 0644] blob
palacios/src/palacios/Makefile diff | blob | history
palacios/src/palacios/vmm.c diff | blob | history
palacios/src/palacios/vmm_extensions.c [new file with mode: 0644] blob
palacios/src/palacios/vmm_mtrr.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project