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: 82071a7)
Improved /proc/v3vee/v3-guests* output
authorPeter Dinda <pdinda@northwestern.edu>
Sun, 18 Aug 2013 22:12:33 +0000 (17:12 -0500)
committerroot <root@v-test-r415-3.localdomain>
Sun, 18 Aug 2013 22:12:33 +0000 (17:12 -0500)
commit50fa3e0498a3395ceb6d6d4ea6d78b6334aa2ec3
tree1ab56d6a80497292a83ef7f1ea9a898ac46b5ba7tree | snapshot
parent82071a7f5f0b18fbf1a4adc2a37fed1624572a79commit | diff
Improved /proc/v3vee/v3-guests* output
linux_module/main.c diff | blob | history
palacios/src/palacios/vmm_dev_mgr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project