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: d3b877f)
change cpu mode detection to dynamic lookup
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 15 Jul 2009 19:29:52 +0000 (14:29 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 15 Jul 2009 19:29:52 +0000 (14:29 -0500)
commit2de2dfce9b3673735569403294b0fb2a01884a8a
tree7751332316a88ce6de4c32a363bdf9f4f84e20c7tree | snapshot
parentd3b877f95b726298bb1ba71027364086bb873fe1commit | diff
change cpu mode detection to dynamic lookup
palacios/src/palacios/vmm_xed.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project