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.


information request api for the host - gives a more detailed view of VM and vcore...
authorPeter Dinda <pdinda@northwestern.edu>
Sat, 29 Dec 2012 00:46:44 +0000 (18:46 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 29 Dec 2012 00:51:16 +0000 (18:51 -0600)
commit13843de52d67d647f8ef05f736dc8f7d8be6adb3
tree8a37e042588640eee2bd6d72f00453e55651850a
parentc3498e95bc8a73f4888d42166561f377af20ee5b
information request api for the host - gives a more detailed view of VM and vcore state to the host
palacios/include/palacios/vmm.h
palacios/src/palacios/vmm.c