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: 8697062)
Enable barrier participation and core stop while in halt
authorJack Lange <jacklange.cs.pitt.edu>
Thu, 1 Aug 2013 21:32:50 +0000 (16:32 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 4 Aug 2013 22:31:20 +0000 (17:31 -0500)
commit012ed696bcded41f6d3bb6c787cbc2922ed0f5aa
tree1e7dcfce623ef8c1c5808f89e915519b43608666tree | snapshot
parent869706293430070e89fbc74eaff47ebc6072f17bcommit | diff
Enable barrier participation and core stop while in halt
palacios/src/palacios/vmm_halt.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project