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.


bug fixes for extension framework, and porting of console to new interface
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Jun 2011 19:36:38 +0000 (14:36 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Jun 2011 19:36:38 +0000 (14:36 -0500)
commitc94c9b19999f937b32627794c80e19c9be555822
treef559ba96ed7f5dbbdd2fae960b76cf913f931fe4
parentcfa7f55f2b90dcab2f44509d5264e7ec8061cd3f
bug fixes for extension framework, and porting of console to new interface
linux_module/ld.cmd
linux_module/linux-exts.c
linux_module/linux-exts.h
linux_module/palacios-console.c
linux_module/palacios-console.h [deleted file]
linux_module/palacios-dev.c
linux_module/palacios-vm.c
linux_module/palacios.h