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.


/proc info showing vm device and vm name mapping, and memory use
authorFerrol Aderholdt <wfaderhold21@students.tntech.edu>
Fri, 22 Jun 2012 18:45:15 +0000 (13:45 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 22 Jun 2012 18:45:15 +0000 (13:45 -0500)
commita3534432fa8e7a9fe4730c151ca52350ca0a2faf
tree781001e88b167c5045502d2f2bd1b07ab543a166
parent9aee4d463c4401f25142ba43ddbb720e4e129340
/proc info showing vm device and vm name mapping, and memory use
linux_module/main.c
linux_module/mm.c
linux_module/mm.h