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.


Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 14 Sep 2011 22:15:03 +0000 (17:15 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 14 Sep 2011 22:15:03 +0000 (17:15 -0500)
commit0429591d3bfd490a04e467e97b4490977fb54581
treed2d1b5eb8f1746404f938c3db01187ec63a0cec5
parentde587d8ab2794607396b8ee9014e98e02d1c0a7e
parent47f2237e5c6a71a63f04bc3dc0215fbbe2f40490
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

linux_usr/Makefile
linux_module/iface-console.c