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.


Working mptable support (Linux correctly recognizes 1,2,4,8,16,32 proc configs)
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 7 Jul 2010 18:12:30 +0000 (13:12 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 7 Jul 2010 18:12:30 +0000 (13:12 -0500)
commit23ce84789706e19275390e4e0183cf4be3f1a045
treeadd8e84ecdfc4a37a268a69b2166e4f3edb49eb8
parent8300df0450154d7a2db08a7afbd2aca32ce38f70
Working mptable support (Linux correctly recognizes 1,2,4,8,16,32 proc configs)
palacios/src/palacios/vmm_mptable.c