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: 87bd737)
fixed cr0 reads from long mode
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 12 Mar 2009 02:41:12 +0000 (21:41 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 12 Mar 2009 02:41:12 +0000 (21:41 -0500)
commit1ca1027c409c0bf0ecdd476589d00687dc0b95f4
treec8368745ae6581c97d4b610eaf29ae97a006a92atree | snapshot
parent87bd737bb0bd554f17b4f02a8f138b0c4c970976commit | diff
fixed cr0 reads from long mode
palacios/src/palacios/vmm_ctrl_regs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project