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: c0c9f21)
Improve panic message if asked to free a bad page
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 20:31:36 +0000 (15:31 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 20:31:36 +0000 (15:31 -0500)
commitf23a8a82a0edfc989e5d6631fcca8ad829e218e4
treec09abb82ea2a54e35dfcd5547881def3b6fbcbb2tree | snapshot
parentc0c9f2110ba4830893373b9471a4ff4242489f72commit | diff
Improve panic message if asked to free a bad page
kitten/palacios-glue/vmm_stubs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project