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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 77fd4bb)
inspector updates
authorJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 22:30:39 +0000 (17:30 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 22:30:39 +0000 (17:30 -0500)
commitfc220749dd74a84f222b4a60c69a47e6ae743990
treee915d7de219c205809b79601f9e4358e3200549atree | snapshot
parent77fd4bb17bf91ab3b7d54ef2a5f51c4280342b90commit | diff
inspector updates
linux_module/Makefile diff | blob | history
linux_module/palacios-debugfs.h [deleted file] blob | history
linux_module/palacios-dev.c diff | blob | history
linux_module/palacios-inspector.c [moved from linux_module/palacios-debugfs.c with 80% similarity] diff | blob | history
linux_module/palacios-inspector.h [new file with mode: 0644] blob
linux_module/palacios-vm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project