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-OLD.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: c468b48)
updated NMI exit handler
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 25 Aug 2011 23:09:15 +0000 (19:09 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 26 Aug 2011 01:24:39 +0000 (21:24 -0400)
commit51e81a720ed4c05dba61e9475a310d88f4f32e40
tree3f4ea5f5053d8663ac84979d2e128bb38084860atree | snapshot
parentc468b488a94fbc829f44184dea37b51c51af0de2commit | diff
updated NMI exit handler
palacios/src/palacios/vmx_handler.c diff | blob | history
Palacios Public Git Repository - Tracks Internal By 30 Minutes