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.


added basic caching MTRR extension.
authorJack Lange <jacklange@cs.pitt.edu>
Sat, 13 Aug 2011 20:34:06 +0000 (16:34 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 16 Aug 2011 23:41:52 +0000 (19:41 -0400)
commitacdffc5dbc72ac1fdddbf5f1da032cdcdf28abdc
tree4a6aded8c0640bb8bbf1bd9de9a99cc1ddcd1cbb
parent47d42b85720b6388c7cd59554a9e458bd72664c4
added basic caching MTRR extension.
palacios/src/extensions/ext_mtrr.c [new file with mode: 0644]