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: 888d657)
Added NMI handler for SVM
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 19 May 2011 23:08:24 +0000 (18:08 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 19 May 2011 23:08:24 +0000 (18:08 -0500)
commit3ba2f5222dcea4ec984984f72455a172ec7707bd
treeb87aa51e690a68cc83c5fc5c4757aecc64899f10tree | snapshot
parent888d657288a1cccaa8f882a9a7ac4406399d0826commit | diff
Added NMI handler for SVM
palacios/src/palacios/svm_handler.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project