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: 6541ca6)
add console hook support
authorErik van der Kouwe <erikvdk@gmail.com>
Wed, 14 Apr 2010 19:19:25 +0000 (14:19 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 14 Apr 2010 19:19:25 +0000 (14:19 -0500)
commitddd9fd13627552b915753b06be997921cc904466
treed5eed2604825990519567e1fa414ff56362594e9tree | snapshot
parent6541ca672276d841db22cc18a003303cf517ea89commit | 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