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.releases.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: da9b43b)
added code in vmm_intr.c to detect posted swint
authorKyle Hale <kh@u.northwestern.edu>
Wed, 22 Jun 2011 22:06:49 +0000 (17:06 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 23 Jun 2011 01:18:36 +0000 (20:18 -0500)
commitff5e516d100f73849193c59c2af2cc3cd3e41f21
tree5ce3e8f8c47b16aa1719a0844a7693e56051de6ctree | snapshot
parentda9b43b18c14357412422fc404d3a9c573c867d5commit | diff
added code in vmm_intr.c to detect posted swint
palacios/src/palacios/vmm_intr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project