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: f0b0012)
XEND instruction now correctly generates GPF when not in RTM mode
authorKyle Hale <kh@u.northwestern.edu>
Wed, 26 Mar 2014 05:35:31 +0000 (00:35 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 6 Apr 2014 21:23:54 +0000 (16:23 -0500)
commitf2b335d52378f2df90738e450ceacca598e2178a
treee1b9733bccf89e435b9dd14dbe09cd206ae3c5fftree | snapshot
parentf0b0012ea7e527abf517545e4280f19d6b6b5f1ccommit | diff
XEND instruction now correctly generates GPF when not in RTM mode
palacios/src/extensions/ext_trans_mem.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project