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: c6f4b59)
isolated syscall config options to extensions
authorKyle Hale <kh@u.northwestern.edu>
Tue, 21 Jun 2011 02:13:44 +0000 (21:13 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 23 Jun 2011 01:18:36 +0000 (20:18 -0500)
commit4e8393bbded9e1ee77c2280b3ece64a6757c54ee
tree72fb52067857e243b6aaa78f38c54f54d10d1524tree | snapshot
parentc6f4b5914c925ae8edc4b2b24b8d89d019dcf0ddcommit | diff
isolated syscall config options to extensions
palacios/src/extensions/Kconfig diff | blob | history
Public Palacios Development Repository for the V3VEE Project