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.


Add missing CPU mapper files
authorOscar Mondragon <omondrag@cs.unm.edu>
Mon, 6 May 2013 20:53:01 +0000 (14:53 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Mon, 6 May 2013 20:53:01 +0000 (14:53 -0600)
commit40b983b217e8b8d0881309a9440195abbfdcce57
tree1eeb19cde1f7bf04199e7703955d63ee5bd34dab
parent2fff50d3e72abf29655326449ed4dc5cf6e8f429
Add missing CPU mapper files
palacios/include/palacios/vmm_cpu_mapper.h [new file with mode: 0644]
palacios/src/extensions/ext_cpu_mapper_edf.c [new file with mode: 0644]
palacios/src/palacios/vmm_cpu_mapper.c [new file with mode: 0644]