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.


Implemented SMP, still not functional
authorPeter Dinda <pdinda@northwestern.edu>
Sat, 10 Jul 2010 00:37:43 +0000 (19:37 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 10 Jul 2010 00:37:43 +0000 (19:37 -0500)
commit6a686aa0cf80126e77d4f0f3a0eb882a7d302ae0
tree5d2c381a734a4aac3cfbe53774a15eec53c0f388
parent300810f123725663d5f7ae638ff6cb93d0a89ae5
Implemented SMP, still not functional
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_types.h
palacios/src/devices/icc_bus.c
palacios/src/palacios/svm.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_config_class.h