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: 1bf5d03)
Added VMX handler for the preempt timer so that we don't just crash if we get it.
authorPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 20 Jan 2012 17:02:23 +0000 (10:02 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 20 Jan 2012 17:02:23 +0000 (10:02 -0700)
commite2b51b5c5dd57b808c68a6b8dd9cb0b2af0b4763
tree0938a102a195a62f3041377e6f489940f27ba270tree | snapshot
parent1bf5d0322b1e5be541979888e30e77145dc8cda8commit | diff
Added VMX handler for the preempt timer so that we don't just crash if we get it.
palacios/src/palacios/vmx_handler.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project