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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: b1f2d60)
add console hook support
authorErik van der Kouwe <erikvdk@gmail.com>
Wed, 14 Apr 2010 19:26:03 +0000 (14:26 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 14 Apr 2010 19:28:38 +0000 (14:28 -0500)
commitcbb6723fe28e2e448982d6b2ff444c05ea54a618
treec2121c031f1e203d60c713ba2c8eaebc6d97a03btree | snapshot
parentb1f2d60bdd24fb6f758ad049c0a6859966a38955commit | diff
add console hook support
Kconfig diff | blob | history
palacios/include/palacios/vmm_console.h [new file with mode: 0644] blob
palacios/src/devices/Kconfig diff | blob | history
palacios/src/devices/Makefile diff | blob | history
palacios/src/devices/curses_cons.c [new file with mode: 0644] blob
palacios/src/palacios/Makefile diff | blob | history
palacios/src/palacios/vmm_console.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project