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.


Userspace tool compile fix
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 22 Dec 2014 22:21:04 +0000 (16:21 -0600)
committerroot <root@v-test-r415-3.localdomain>
Mon, 22 Dec 2014 22:21:04 +0000 (16:21 -0600)
commit58874dc5bc1d655baf94c7c2e16784c3af7ca640
tree7bf79cc24f8bf58f13722f3dc2d9300a54c41ca0
parentec9f38e306b02bb98029fb950bcb4d0bd0c3aed2
Userspace tool compile fix
linux_usr/v3_user_dvfs.h