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: a8627dd)
bind launch thread to local core
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 4 May 2011 22:12:18 +0000 (17:12 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 4 May 2011 22:12:18 +0000 (17:12 -0500)
commit059b4180c355172ab9ec55fd81996d32ce696d05
treed4472bf0b82eb724cc3eea50f8130d758f8b4bf5tree | snapshot
parenta8627ddaccf49073eb04286c5ea4767e2903c351commit | diff
bind launch thread to local core
linux_module/palacios-dev.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project