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.


Friendlier user-space build/run for graphical components (gui, vnc)
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 21 Dec 2012 20:28:02 +0000 (14:28 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 21 Dec 2012 20:28:02 +0000 (14:28 -0600)
commit1fcc40a92f8cadc3d6ed3f56abc316c11043bc80
treeff7f043741dd397823a63387cb14f7f0d8ef683c
parente30e35a15e2350e77f71e5b052b5a67a77cdf267
Friendlier user-space build/run for graphical components (gui, vnc)
linux_usr/Makefile
linux_usr/v3_gui [new file with mode: 0755]
linux_usr/v3_vncclient
linux_usr/v3_vncserver