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.


added irq initial setup
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 18 Apr 2008 22:29:32 +0000 (22:29 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 18 Apr 2008 22:29:32 +0000 (22:29 +0000)
commit28b1d0ae6db40cb3e1f5a9b3596b625d2f2af0e4
tree940fe90b58a97b992f00c1d8043930703faf2f03
parentace8f0532fa5650c6642a3a7174f3aa19b09095a
added irq initial setup
17 files changed:
palacios/build/Makefile
palacios/build/depend.mak
palacios/include/geekos/irq.h
palacios/include/geekos/vmm_stubs.h
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_dev_mgr.h
palacios/include/palacios/vmm_intr.h
palacios/src/geekos/irq.c
palacios/src/geekos/main.c
palacios/src/geekos/vm.c
palacios/src/geekos/vmm_stubs.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_intr.c