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: d1f7206)
Do not try to derefence current
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 01:04:21 +0000 (20:04 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 01:04:21 +0000 (20:04 -0500)
commit545a98b6d16bcda8ed4ac495924e0966fef7d431
tree3c7ca1edac977edd72b5dab154c09a4fe87d4f4btree | snapshot
parentd1f72061e8ccf3dbef1513e186e5231fc554b21acommit | diff
Do not try to derefence current
kitten/arch/x86_64/kernel/show.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project