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.


enabled msr writes
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 23 Sep 2009 22:26:29 +0000 (17:26 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 23 Sep 2009 22:26:29 +0000 (17:26 -0500)
commitf955c04bf611038ce7a24106bb8b06ae0f1c9da8
tree9765f80457df093789ec8d9953254bebc2dd2cf2
parented2b3c62f54f46c31ed18a100bb442e1656a3ddd
enabled msr writes
palacios/src/devices/apic.c