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.


add cleanup to graphics console code
authorKyle Hale <kh@u.northwestern.edu>
Thu, 19 Jul 2012 23:50:57 +0000 (18:50 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 20 Jul 2012 18:17:40 +0000 (13:17 -0500)
commit552fecf4926019f08e3b20f66e53917527c40e04
tree93771f4f273ffe6df79c97c855e94a058eaf88c4
parent3711d0163d1dcba26b73a6427f3feefa8fc24733
add cleanup to graphics console code
linux_module/iface-graphics-console.c