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: 2137016)
added irq acking
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 20:55:22 +0000 (15:55 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 20:55:22 +0000 (15:55 -0500)
commitec6d459b0aac3e9eea431e854904be7a58f2ffa8
tree94da4498f20858101d385f9c901261e23e644052tree | snapshot
parent2137016ed7c531b573ef8aef0d0d545d75a01098commit | diff
added irq acking
palacios/include/palacios/vmm.h diff | blob | history
palacios/src/palacios/vmm_intr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project