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: 0914970)
fixed bug in the interrupt handler
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 30 Apr 2008 20:20:15 +0000 (20:20 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 30 Apr 2008 20:20:15 +0000 (20:20 +0000)
commit8163b56655f024bb1e3abcdce028598554343d02
tree3ae880e6a18d83b040c7c6480b34cede20b3aa95tree | snapshot
parent09149700a57ced21de742451c9302320ca4eebc2commit | diff
fixed bug in the interrupt handler
palacios/src/geekos/vmm_stubs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project