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 module cleanup and added user space tools
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 18 Mar 2011 19:57:06 +0000 (14:57 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 18 Mar 2011 19:57:06 +0000 (14:57 -0500)
commit4801e692b7344051eb94fff6faf1be53f621d422
treeab5e8f33a76202238da2fc927eed6119a8917c6d
parent642821b60b7f80206b51a18542628438aa891c70
updated module cleanup and added user space tools
linux_module/palacios-dev.c
linux_module/palacios-vm.c
linux_module/palacios.h
linux_usr/Makefile [new file with mode: 0644]
linux_usr/v3_cons.c [new file with mode: 0644]
linux_usr/v3_ctrl.c [new file with mode: 0644]
linux_usr/v3_mem.c [new file with mode: 0644]
linux_usr/v3_monitor.c [new file with mode: 0644]
linux_usr/v3_net.c [new file with mode: 0644]
linux_usr/v3_serial.c [new file with mode: 0644]
linux_usr/v3_stop.c [new file with mode: 0644]