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: 1c000bd)
Updated lock/unlock irq save/restore to directly use os hooks versions
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 26 Jun 2012 21:32:21 +0000 (16:32 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 7 Jul 2012 21:20:42 +0000 (16:20 -0500)
commita04338047280b77bdaa3882b748a442d9c9c06a8
treeadb16994423e3a20f156cbb66bbef91653dafdcetree | snapshot
parent1c000bda0560742ad6be011722fa226771b656ffcommit | diff
Updated lock/unlock irq save/restore to directly use os hooks versions
palacios/src/palacios/vmm_lock.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project