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.


moved software interrupt injection to core interrupt code
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 23 Jun 2011 02:09:31 +0000 (21:09 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 23 Jun 2011 02:24:22 +0000 (21:24 -0500)
commit66b396a1e89ad214c18ff9ebae9f803ab661aa46
treead514ee5518499f1858301cd78a984e251b587e2
parent88b5b2e56e64f1d7f93d6fd225afa8d572387f9c
moved software interrupt injection to core interrupt code
palacios/include/interfaces/sw_intr.h
palacios/include/palacios/vmm_intr.h
palacios/src/extensions/ext_sw_intr.c
palacios/src/extensions/ext_syscall_hijack.c
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_intr.c