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.


reworked the interrupt injection to be guest specific
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 10 Oct 2008 00:06:13 +0000 (19:06 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 10 Oct 2008 00:06:13 +0000 (19:06 -0500)
commitb84c13ec0315404c6b6de8c1d3a7a65ac766a782
treedabfa93fa8cbed248f9c20cef026a314743b465e
parent86ad850e874113d7f5aeb862b64cb222d40e903b
reworked the interrupt injection to be guest specific
geekos/include/geekos/vmm_stubs.h
geekos/src/geekos/vm.c
geekos/src/geekos/vmm_stubs.c
palacios/build/Makefile
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_intr.h
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_intr.c