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 symbiotic module loader framework
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 10 Feb 2010 04:41:11 +0000 (22:41 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 10 Feb 2010 04:41:11 +0000 (22:41 -0600)
commit4a7e284362662dd76319c4d5843deb28fba82ba0
tree765a8cf85cb7e326741519d02cf8c237f819aeb8
parent8a8e371fd9be4513214a0013063d87ecbc5582c1
Added symbiotic module loader framework
Kconfig
palacios/include/palacios/vmm_symbiotic.h
palacios/include/palacios/vmm_symmod.h [new file with mode: 0644]
palacios/src/devices/Makefile
palacios/src/devices/keyboard.c
palacios/src/devices/lnx_virtio_symmod.c [new file with mode: 0644]
palacios/src/palacios/vmm_symbiotic.c
palacios/src/palacios/vmm_symmod.c [new file with mode: 0644]