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.


Graphics console user space interface library
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 22 Mar 2013 20:41:21 +0000 (15:41 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 22 Mar 2013 20:41:21 +0000 (15:41 -0500)
commit574d2595bd6502d1dc785ace50d46d052a2c8525
tree4cdfe096bc07216d6aa63bfb152983da2e5134a4
parent6b055801f5e04e134b779ad49bc4826179ebf6bb
Graphics console user space interface library
linux_usr/Makefile
linux_usr/v3_fb.c [new file with mode: 0644]
linux_usr/v3_fb.h [new file with mode: 0644]