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: 2e57ef0)
Implemented vprintk() to allow V3VEE debug printfs to be forwarded to the console
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 15:34:45 +0000 (10:34 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 15:34:45 +0000 (10:34 -0500)
commitf8f34325f488003363eba70f03356618735130e4
treead11452d5472083b8c7c9e29400f31fd88a18b9btree | snapshot
parent2e57ef0322ceae58a086e143c6e92224229a40bacommit | diff
Implemented vprintk() to allow V3VEE debug printfs to be forwarded to the console
kitten/kernel/printk.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project