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.
Generalization of constraints on page allocation and implementation/use
The idea here is to allow Palacios code to request pages that satisfy some
filter function. For example, a filter function might reject allocations
above the 4GB line, or it might reject allocations that map to undesirable
cache lines.
- it removes the notion of a constraint mask in page allocation
- eliminates the < 4GB flag
- adds the notion of constraints in page allocation as filter
functions
- modifies the implementation and uses to match