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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: b91af04)
more multicore fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Oct 2010 16:10:21 +0000 (11:10 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 27 Oct 2010 16:10:21 +0000 (11:10 -0500)
commita02f23087d0ea3df6dbd494de90754b3302ee9a5
tree4b3985e9dd0968892abee3ae8fc73ef6b6645dc1tree | snapshot
parentb91af04aa542bc3837f88c576c26f5c6ed946197commit | diff
more multicore fixes
palacios/src/devices/io_apic.c diff | blob | history
palacios/src/palacios/vmm_config.c diff | blob | history
palacios/src/palacios/vmm_config_class.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project