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: 90b8236)
Added generic device, some keyboard fixes (still in progress)
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 22 May 2008 19:49:13 +0000 (19:49 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 22 May 2008 19:49:13 +0000 (19:49 +0000)
commit028d9b71d4a4e6d49a22ad5904b6dd2f8c596a26
tree6b611a7e8d73d470d2378d475a607cb00df4a130tree | snapshot
parent90b8236597004a37a9d5acb33a1b1f987fe9070ccommit | diff
Added generic device, some keyboard fixes (still in progress)
palacios/build/Makefile diff | blob | history
palacios/build/depend.mak [deleted file] blob | history
palacios/include/devices/generic.h [new file with mode: 0644] blob
palacios/include/devices/keyboard.h diff | blob | history
palacios/src/devices/generic.c [new file with mode: 0644] blob
palacios/src/devices/keyboard.c diff | blob | history
palacios/src/geekos/keyboard.c diff | blob | history
palacios/src/geekos/vm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project