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: 95101a1)
only handle events after machine has been started, this avoids sending an event to...
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 22 May 2009 17:16:01 +0000 (12:16 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 22 May 2009 17:16:01 +0000 (12:16 -0500)
commit44a69f96dcfa4fa6cfe254bc21ee17f9e587d892
treee7c8966769adc785538c95f57f8da542fd27aeebtree | snapshot
parent95101a1aef4d5776a9adb7f54fa5ea0c72662a12commit | diff
only handle events after machine has been started, this avoids sending an event to an unitilized subsystem
palacios/src/palacios/vmm_host_events.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project