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: cfa6772)
New style printk for vnet
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Jun 2012 16:07:41 +0000 (11:07 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Jun 2012 16:07:41 +0000 (11:07 -0500)
commitf674908a9b4e959da53f1ed45771cf2d8de46d27
treee6ed8db3ab754cfd00dc6f0e13800967f2e34adftree | snapshot
parentcfa677284e96d8284d4d010f88447b1071d7cbdecommit | diff
New style printk for vnet
linux_module/palacios-vnet.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project