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: e47ed16)
added machine check framework
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 2 Feb 2011 19:57:46 +0000 (13:57 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 2 Feb 2011 19:57:46 +0000 (13:57 -0600)
commit13924f8fd04c4b5e828c71d90d8df697dfbc46ba
treed88fdaf2839962659d38ae92af396f21b2eb611btree | snapshot
parente47ed16a96f6d7faa282bf757e9d2cc065d2657ecommit | diff
added machine check framework
palacios/src/devices/Kconfig diff | blob | history
palacios/src/devices/Makefile diff | blob | history
palacios/src/devices/mcheck.c [new file with mode: 0644] blob
utils/guest_creator/default.xml diff | blob | history
Public Palacios Development Repository for the V3VEE Project