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: 82d082d)
update outdated CR4 definitions
authorKyle Hale <kh@u.northwestern.edu>
Sun, 6 Sep 2015 23:28:08 +0000 (18:28 -0500)
committerroot <root@v-test-r415-3.localdomain>
Wed, 9 Sep 2015 16:40:33 +0000 (11:40 -0500)
commit9bf0781823de53a1d5335bab24b31fca02412283
tree4841283cea911e50ed419cc95157d150240b59a2tree | snapshot
parent82d082daad3fe8afad4be97d97093a3dfb768e1fcommit | diff
update outdated CR4 definitions
palacios/include/palacios/vmm_ctrl_regs.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project