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.


updated linux module to new build framework
authorJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 21:52:09 +0000 (16:52 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 21:52:09 +0000 (16:52 -0500)
commitb44db8fef71ea6c1c996b6c1fb162f61317a53be
tree395f57b570e8dfe67d27ff8f8d2ba790a840ed13
parent52862a01560b5b12db9f8f7b6e16013a81a86939
updated linux module to new build framework
Makefile
linux_module/Makefile
linux_module/palacios-dev.c
linux_module/palacios-serial.c [deleted file]
linux_module/palacios-stream.c
linux_module/palacios-stream.h
linux_module/palacios-vm.c
linux_module/palacios.h
palacios/include/palacios/vmm_instr_decoder.h