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: 1fcc40a)
Minor changes to eliminate warnings, and second-try allocation for pages
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 26 Dec 2012 17:03:27 +0000 (11:03 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 26 Dec 2012 17:32:46 +0000 (11:32 -0600)
commit803866720fcee3755c3a1c30761f26f56bbf764b
tree70291b43f104e9343ae079bc27b2855d4ffa6dadtree | snapshot
parent1fcc40a92f8cadc3d6ed3f56abc316c11043bc80commit | diff
Minor changes to eliminate warnings, and second-try allocation for pages
linux_module/iface-socket.c diff | blob | history
linux_module/mm.c diff | blob | history
linux_module/vm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project