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: c037686)
Detect recursive page faults and halt
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 00:53:58 +0000 (19:53 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 00:53:58 +0000 (19:53 -0500)
commit6412a23da90ae75906e946febb6f49df8a33d0bd
tree7fa5b0bf0a26f9c41cab96d5964a23b3d15cea39tree | snapshot
parentc0376861301ad7abd8ded058d3445aa986f827c9commit | diff
Detect recursive page faults and halt
kitten/arch/x86_64/kernel/interrupts.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project