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.


make v3_launch fail on ioctl error
authorKyle Hale <kh@u.northwestern.edu>
Wed, 27 Jun 2012 23:55:44 +0000 (18:55 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 7 Jul 2012 21:30:25 +0000 (16:30 -0500)
commitf145a4fa721950a32a3b3019075206adf356b347
tree32f4d20665614b68e966e419e07545a4dba49372
parent36973b53a5876a555eb59be0b0fb5f1f49686696
make v3_launch fail on ioctl error
linux_usr/v3_launch.c