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: b921883)
Output total memory from e820 map
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 21:49:53 +0000 (16:49 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 21:49:53 +0000 (16:49 -0500)
commit4298bbf36e8bb689f2817fc7616803c2fd788005
treea013049cdedce61d7bb24f0d3cfddeb27a604267tree | snapshot
parentb92188394ff90164125bc60f8bc05c7870e12e66commit | diff
Output total memory from e820 map
kitten/arch/x86_64/kernel/e820.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project