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 hypercall registration and handler
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Feb 2009 23:57:52 +0000 (17:57 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Feb 2009 23:57:52 +0000 (17:57 -0600)
commit1dbd6d179c681dbce107af39c4089d1aa13a714d
tree7f96e9d0e73833b74cea5f3319b74ae06a149209
parent7569a7e7b33dc1c26b68d66e4bcd3aebf3beaf7f
added hypercall registration and handler
palacios/build/Makefile
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_hypercall.h [new file with mode: 0644]
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_hypercall.c [new file with mode: 0644]