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.


v3_cpu_mapper_admit_vm function call moved from start_thread to create_thread
authorOscar Mondragon <omondrag@cs.unm.edu>
Mon, 25 Aug 2014 01:34:36 +0000 (19:34 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Mon, 25 Aug 2014 01:58:26 +0000 (19:58 -0600)
commit8e4b89f4bc2e252e0c1bc7cbc52bf1f4ae2e538c
tree75fa4c22486eb4515242ea75ab895f8ed28dd239
parent7a10bbf26095ed08095f38de6c1db4b3a131d6f0
v3_cpu_mapper_admit_vm function call moved from start_thread to create_thread
linux_module/vm.c
palacios/include/palacios/vmm.h
palacios/src/palacios/vmm.c