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: fc22074)
moved mptable to a device for the moment
authorJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 22:39:40 +0000 (17:39 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 22:39:40 +0000 (17:39 -0500)
commit9d406e84682878859284200ae00251d27c53c845
treeea8a67e65274b1e3003b9aa6057075b04397e86ctree | snapshot
parentfc220749dd74a84f222b4a60c69a47e6ae743990commit | diff
moved mptable to a device for the moment
this allows the ability to enable/disable it as needed
palacios/include/palacios/vmm_mptable.h [deleted file] blob | history
palacios/src/devices/Kconfig diff | blob | history
palacios/src/devices/Makefile diff | blob | history
palacios/src/devices/mptable.c [moved from palacios/src/palacios/vmm_mptable.c with 99% similarity] diff | blob | history
palacios/src/palacios/Makefile diff | blob | history
palacios/src/palacios/vmm_config.c diff | blob | history
palacios/src/palacios/vmm_config_class.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project