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.


hardware multicore support
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 4 Sep 2009 02:41:10 +0000 (21:41 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 4 Sep 2009 02:41:10 +0000 (21:41 -0500)
commit068d7e66db537f981fde19a098a12e4390fa3de4
tree6ea580b7cc153ffbf58e0746f908987f9bbf8cb3
parent52e81251f82ccaf516e3ed626c8abbcc9fbe3f41
hardware multicore support
Kconfig
palacios/include/palacios/svm.h
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmx.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmx.c