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 the framework for interupt delivery
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 9 Apr 2008 23:58:07 +0000 (23:58 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 9 Apr 2008 23:58:07 +0000 (23:58 +0000)
commitfc90c3287f85c66e1f6616685b66a8339145c3ee
tree63c1824fc7b35d22d2526d8cd4daa3fcbfff0ebb
parent40be15894eccfbb51e42bcfe550aaf8d9841bc3a
added the framework for interupt delivery
palacios/build/Makefile
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmcb.h
palacios/include/palacios/vmm_intr.h
palacios/src/geekos/vm.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmcb.c
palacios/src/palacios/vmm_intr.c