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.


expose RTM cap in CPUID
authorKyle Hale <kh@u.northwestern.edu>
Tue, 25 Mar 2014 18:44:50 +0000 (13:44 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 6 Apr 2014 21:23:54 +0000 (16:23 -0500)
commite42b257e5364f8ddba2c86668631013859cb2e46
tree3cf0b34550f357d9a252431e593a83ef023740ff
parent541bd219aaa76d3b00de8060affbc62a5692162a
expose RTM cap in CPUID
palacios/include/extensions/trans_mem.h
palacios/src/extensions/ext_trans_mem.c