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.


symbiotic module changes
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 14 May 2010 21:37:44 +0000 (16:37 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 14 May 2010 21:37:44 +0000 (16:37 -0500)
commit13d9a33d365278c508b8709288f9c7c2949a50f9
tree3863fa11608da9551e436b42cb7590eb5a23c30b
parentf79a89fe37f4b8fc0510e0aa03a0dc2e3d15f01c
symbiotic module changes
palacios/include/palacios/vmm_symmod.h
palacios/src/devices/keyboard.c
palacios/src/devices/lnx_virtio_symmod.c
palacios/src/palacios/vmm_symmod.c
symmods/capsule/Makefile
symmods/capsule/binary.S
symmods/linux/test/Makefile
symmods/v3_mod.h [new file with mode: 0644]