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: eb87f60)
reworked some of the interrupt handling
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 14 May 2008 22:11:10 +0000 (22:11 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 14 May 2008 22:11:10 +0000 (22:11 +0000)
commitcf1eee7c0aec2016e99acf03077a728f7617a985
treee2061d6a3570e83a9ab514aa36596abe58e293a3tree | snapshot
parenteb87f60800c8634e37d1f8e71cd8f88605f2a46ecommit | diff
reworked some of the interrupt handling
palacios/include/palacios/vmm_intr.h diff | blob | history
palacios/src/devices/8259a.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project