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.


added scancode converting console
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 26 Aug 2011 20:21:29 +0000 (16:21 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 26 Aug 2011 20:21:29 +0000 (16:21 -0400)
commit840a7c8a40cbb875c1c748845f093ff898e99766
treea623a7dcba445d59533a71dc1e2d0b598174fb5f
parent3a64514e2fbdb79da57b289fc94b336b78046ba2
added scancode converting console
linux_usr/v3_cons_sc.c [new file with mode: 0644]