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: 5070a2b)
add thread sleep and wakeup to host os hooks
authorLei Xia <lxia@northwestern.edu>
Thu, 21 Apr 2011 14:34:48 +0000 (09:34 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 21 Apr 2011 14:34:48 +0000 (09:34 -0500)
commita996f792cb40f3451085f9951dd4462d188c84b8
tree40e3262c042fcaa676435b554c3953097872ae52tree | snapshot
parent5070a2b7685d1fe39072e3d503d07ffb29b3d5b5commit | diff
add thread sleep and wakeup to host os hooks
palacios/include/palacios/vmm.h diff | blob | history
palacios/src/devices/Kconfig diff | blob | history
Public Palacios Development Repository for the V3VEE Project