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: fcb418e)
ported inspector to the extension framework
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Jun 2011 20:29:55 +0000 (15:29 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Jun 2011 20:29:55 +0000 (15:29 -0500)
commit84ff69d67d79aa9641135b2d120fe800c91797b4
treebba474f856054a9b8bcad3474fbd2aa88f108a2atree | snapshot
parentfcb418e3ef916356ef80c1f1436adfa1e6878d4fcommit | diff
ported inspector to the extension framework
linux_module/palacios-dev.c diff | blob | history
linux_module/palacios-inspector.c diff | blob | history
linux_module/palacios-inspector.h [deleted file] blob | history
linux_module/palacios-stream.h [deleted file] blob | history
linux_module/palacios-vm.c diff | blob | history
linux_module/palacios.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project