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.


Hook for thread creation split into create and start thread
authorOscar Mondragon <omondrag@cs.unm.edu>
Mon, 18 Aug 2014 21:37:57 +0000 (15:37 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Mon, 18 Aug 2014 22:02:11 +0000 (16:02 -0600)
commited88df2e8e304ac4b391521d47c192127ad9bc5a
treebdd688fa79b1d2277bdd057eaa4d02abbe702bf3
parente58b54396372b4f32ec569f4d8ce18065c769450
Hook for thread creation split into create and start thread
linux_module/palacios-stubs.c
palacios/include/palacios/vmm.h
palacios/src/palacios/vmm.c